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