Logikverknüpfungen

$\mathrm{A}\wedge\mathrm{B}$

$A$ und $B$

Es gilt sowohl Aussage $A$, als auch Aussage $B$.

$\mathrm A\vee\mathrm B$

$A$ oder $B$

Es gilt entweder Aussage $A$ oder Aussage $B$, oder eben beide.

$\mathrm A\dot{\vee}\mathrm B$

Entweder $A$ oder $B$

Es gilt entweder Aussage $A$ oder Aussage $B$, nicht beide.

$\neg\mathrm A\;\;\mathrm{oder}\;\overline{\mathrm A}$

Nicht $A$ oder die Negation von $A$

Das Gegenteil von $A$.

$\mathrm A\Rightarrow\mathrm B$

$A$ impliziert $B$

Wenn $A$ wahr ist, folgt die Aussage $B$.