(p∨q)′∨(p∧q)
(p′∧q′)∨(p∧q)
[p′∧q′)∨p]∧[(p′∧q′)∨q]
[(p′∨p)∧(q′∨p)]∧[(p′∨q)∧(q′∨q)]
[1∧(q′∨p)]∧[(p′∨q)∧1]
(q′∨p)∧(p′∨q) En sadeden ne anladığımıza bağlı olarak bu sorunun çözümü 1. satırda,2. satırda da bitirilebilir di.
Ben de hocamın cevabına bir ilave yapayım. Yukarıdaki son adımdan sonra şunları da yazabiliriz.
(q′∨p)∧(p′∨q)
≡
(q→p)∧(p→q)
p↔q