Pravilnostne tabele vseh logičnih operatorjev*

Za lažje razumevanje delovanja logičnih vrat si oglejmo pravilnostne tabele vseh možnih logičnih funkcij dveh spremenljivk $x$ in $y$. Obstaja 16 različnih kombinacij, ki jih lahko tudi grafično prikažemo z Vennovimi diagrami.

    0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
$x$ $y$ $\bot$ $x \downarrow y$ $x \not\leftarrow y$ $\neg{x}$ $x \not\rightarrow y$ $\neg{y}$ $x \oplus y$ $x \uparrow y$ $x \land y$ $x \Leftrightarrow y$ $y$ $x \rightarrow y$ $x$ $x \leftarrow y$ $x \lor y$ $\top$
0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1
1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1
1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1

0

$\bot$ (false)

1

$x \downarrow y$

2

$x \not\leftarrow y$

3

$\neg{x}$

4

$x \not\rightarrow y$

5

$\neg{y}$

6

$x \oplus y$

7

$x \uparrow y$

15

$\top$ (true)

14

$x \lor y$

13

$x \leftarrow y$

12

$x$

11

$x \rightarrow y$

10

$y$

9

$x \Leftrightarrow y$

8

$x \land y$