Verwende (a→b)=(¬a∨b)
Ich würde einmal mit dem rechten und einmal mit dem linken beginnen:
a→b∧b→a
= ( ¬a ∨ b) ∧ (¬b ∨ a)
= ( ¬a ∧ ¬b ) ∨ ( ¬a ∧ a ) ∨ ( b ∧ ¬b ) ∨ ( a ∧ b )
= ( ¬a ∧ ¬b ) ∨ ( a ∧ b )
und entsprechend
(a∨b)→(a∧b)
=¬(a∨b)∨(a∧b)
Dann de Morgan anwenden gibt
=(¬a∧¬b)∨(a∧b)
= (¬a ∧ ¬b) ∨ (a ∧ b)
Bingo !