Do these logical operator symbols exist without requiring rotation?

Question

My professor uses these symbols to formalize logic operators. I found versions of (a) and (b), which are rotated by 90°. For (c) I found \Finv, but it is not exactly the same and is also rotated by 90°.

I looked for the symbols in symbol collections on the web, but couldn't find exact representations. Does anyone know the LaTeX symbol codes for the shown symbols? I would like to avoid rotating the symbols manually.

Greets

Seminom

a) logical "and"
b) logical "or"
c) logical negation

Answer 1

I suggest making your own symbols:

\documentclass{article}

\usepackage{amssymb}
\usepackage{graphicx}

\newcommand{\AND}{\mathbin{\raisebox{.08ex}{\rotatebox[origin=c]{-90}{$\leqslant$}}}}
\newcommand{\OR}{\mathbin{\raisebox{.08ex}{\rotatebox[origin=c]{-90}{$\geqslant$}}}}
\newcommand{\NOT}{\lnot\hspace{-.5em}\lnot}

\begin{document}

$P\AND Q\land R$

$P\OR Q\lor R$

$\NOT P, \lnot P$

\end{document}

Answer 2

I've never seen those symbols, except for one similar to your last one in a question here.

Rotating symbols seems the only way, but we can leave all calculations to TeX and not guess amounts of raising or lowering.

\documentclass{article}
\usepackage{amsmath,amssymb,graphicx}

\makeatletter
\newcommand{\qand}{\mathbin{\mathpalette\and@or@q\leqslant}}
\newcommand{\qor}{\mathbin{\mathpalette\and@or@q\geqslant}}

\newcommand{\and@or@q}[2]{%
  \vcenter{\hbox{%
    \raisebox{\depth}{\rotatebox[origin=c]{-90}{$\m@th#1#2$}}%
  }}%
}

\newcommand{\qnot}{\lnot\mspace{-9mu}\lnot}
\makeatother

\begin{document}

$\qnot x\qand y\qor z$

$\lnot x\land y\lor z$

\end{document}