Podane wyrażenia logiczne doprowadź do najprostszej postaci Olaaa: 1. (p ∧ q)∨ ∼ (∼ p ⇒ q), 2. (p ∨ q)∨ ∼ (∼ p ⇒ q), 3. {p ⇒ [(∼ p ∨ q) ⇒ p]} ∧ q, 4. p ∧ {[(p ∨ q)∧ ∼ q] ⇒ q}, 5. p∨ ∼ q∨ ∼ p ∨ (q∧ ∼ p) ∨ (∼ q ∧ p).

ite: w tych przykładach trzeba skorzystać z praw: eliminacji implikacji, zaprzeczenia implikacji, oraz rozdzielności koniunkcji względem alternatywy i alternatywy względem koniunkcji