Logische Verknüpfungen

AND

AND
A B Q
0 0 0
0 1 0
1 0 0
1 1 1
Q = A∧B

NAND

NAND
A B Q
0 0 1
0 1 1
1 0 1
1 1 0
Q = ¬(A∧B)

OR

OR
A B Q
0 0 0
0 1 1
1 0 1
1 1 1
Q = A∨B

NOR

NOR
A B Q
0 0 1
0 1 0
1 0 0
1 1 0
Q = ¬(A∨B)

Antivalenz

XOR
A B Q
0 0 0
0 1 1
1 0 1
1 1 0
Q = (A∧¬B)∨(¬A∧B)

Äquivalenz

EQU
A B Q
0 0 1
0 1 0
1 0 0
1 1 1
Q = (A∧B)∨(¬A∧¬B)

NOT

NOT
A Q
0 1
1 0
Q = ¬A