ich soll herausfinden, ob folgende zwei abstrakte Aussagen äquivalent sind. a ∧ b and (¬a ∨ b) ⇔ a
Mein Ansatz:
(¬a ∨ b) ⇔ a {Bi-Implikation}
((¬a ∨ b) ⇒ a) ∧ (a ⇒ (¬a ∨ b)) {Implikation, 2x}
(¬(¬a ∨ b) ∨ a) ∧ (¬a ∨ (¬a ∨ b)) {De Morgan, double negation}
((a ∧ ¬b) ∨ a) ∧ (¬a ∨ (¬a ∨ b)) // wie kann ich hier vereinfachen?
Vielleicht weiß ja jemand weiter wäre nett :P
LG