ItL Exercise 03

Name: Alexander Weichart Matrikelnummer: 2170749

Aufgabe 1

Distributivgesetz I

A B C(A ∧ B) ∨ C(A ∨ C) ∧ (B ∨ C)
w w ww ww w w
w w fw ww w w
w f wf ww w w
w f ff fw f f
f w wf ww w w
f w ff ff f w
f f wf ww w w
f f ff ff f f

-> (A ∧ B) ∨ C ist logisch äquivalent mit (A ∨ C) ∧ (B ∨ C)

Distributivgesetz II

A B C(A ∨ B) ∧ C(A ∧ C) ∨ (B ∧ C)
w w ww ww w w
w w fw ff f f
w f ww ww w f
w f fw ff f f
f w ww wf w w
f w fw ff f f
f f wf ff f f
f f ff ff f f

-> (A ∨ B) ∧ C ist logisch äquivalent mit (A ∧ C) ∨ (B ∧ C)

De Morgan Gesetz I

A B¬ (A ∧ B)¬A ∨ ¬B
w wf wf f f
w fw ff w w
f ww fw w f
f fw fw w w

-> ¬ (A ∧ B) ist logisch äquivalent mit ¬A ∨ ¬B

Aufgabe 2

A B¬ (A ∧ B)¬A ∧ ¬B
w wf wf f f
w fw ff f w