Hallo Studentin,
(a ∨ d) ∧ (b ∨ c) ∧ (a ∨ ¬ b) ∧ (c ∧ ¬ d)
≡ ( a ∨ d) ∧ (a ∨ ¬ b) ∧ (b ∨ c) ∧ (c ∧ ¬ d) KG ∧
≡ (a ∨ (d ∧ ¬b)) ∧ (b ∨ c) ∧ c ∧ ¬ d DG ∨ | AG ∧
die Formel ist genau dann wahr, wenn c , ¬d und a ∨ (d ∧ ¬b) wahr und damit d ∧ ¬b falsch und a wahr sind.
≡ a ∧ c ∧ ¬ d
weiter gilt:
¬ (a ∧ c ∧ ¬ d) ≡ ¬ a ∨ ¬ c ∨ d
¬ [ (a ∨ d) ∧ (b ∨ c) ∧ (a ∨ ¬ b) ∧ (c ∧ ¬ d) ] ≡ ¬ a ∨ ¬ c ∨ d
Gruß Wolfgang
