A
B
C
A
∨ (
B
∧
C
)
(
A
∨
B
) ∧ (
A
∨
C
)
W
W
W
W
W
W
W
F
W
W
W
F
W
W
W
W
F
F
W
W
F
W
W
W
W
F
W
F
F
F
F
F
W
F
F
F
F
F
F
F
Diese Wahrheitstafel bedeutet nichts anderes, als dass
eine Tautologie ist, die beiden Aussagen also äquivalent sind. Das ist so eine Art Distributivitätsgesetz für logische Operatoren.
