Symboly a operace

Název	Symbol	Definice
NOT	$\lnot$	$eg A$ je true, pokud $A$ je false.
AND	$\land$	$A \land B$ je true pouze pokud jsou oba výroky true.
OR	$\lor$	$A \lor B$ je true pokud je alespoň jeden z výroků true

                    |                     |

[NAND][] | $\uparrow$ | $A \uparrow B$ je true, pokud je alespoň jeden z výroků false. [NOR][] | $\downarrow$ | $A \downarrow B$ je true, pokud jsou oba výroky false | | [implikace][] | $ightarrow$ | $A \Rightarrow B$ je false pouze tehdy, pokud $A$ je true a $B$ je false. [ekvivalence][] | $\Leftrightarrow$ | $A \Leftrightarrow B$ je true, pokud jsou oba výroky false, nebo jsou oba výroky true. | | tautologie | $\top$ | Formule, která je vždy true kontradikce | $\bot$ | Formule, která je vždy false | | [logický důsledek][] | $\models$ | Formule $B$ je logickým důsledkem formule $A$, právě když pro každé ohodnocení $v$, pro které $v(A) = 1$, je i $v(B) = 1$. Píšeme $A \models B$. Říkáme též $B$ vyplývá z $A$.; Nebo jinak: $A \models B$, právě když uKNT/uDNT $A$ a $B$ obsahují stejné klausule/mintermy [logická ekvivalence][] | $\equiv$, $|=|$ | Formule $A$ a $B$ jsou logicky ekvivalentní právě tehdy, když pro každé ohodnocení $v$ je $v(A) = v(B)$. Píšeme $A \equiv B$.; Nebo jinak: $A \equiv B$, právě když všechny klausule/mintermy v uKNT/uDNT $A$ jsou obsaženy i v uKNT/uDNT $B$