Çözüm:
(p⇒q)′∨(p⇒q)(p \Rightarrow q)' \lor (p \Rightarrow q)(p⇒q)′∨(p⇒q) önermesinde parantez içindeki (p⇒q)(p \Rightarrow q)(p⇒q) kısmına rrr gibi tek bir değişkenmiş gibi bakabiliriz. Bu durumda önermemiz r′∨rr' \lor rr′∨r halini alır. Mantık dersinde gördüğümüz "veya" bağlacı kuralına göre bir önermenin kendisi ile değili "veya" bağlacıyla bağlandığında ortaya çıkan değer her zaman 111 olur. Bunun nedeni rrr önermesinin doğru olması durumunda değilinin yanlış, rrr önermesinin yanlış olması durumunda ise değilinin doğru olmasıdır. "Veya" bağlacında taraflardan birinin doğru yani 111 olması bütün ifadeyi doğru yaptığı için bu bileşik önermenin en sade biçimi 111 sayısıdır.
