(p^q') => [(p=>q') ^ (p=>q)] bileşik önermesinin en sade şekli nedir?
p'vq en sade şeklidir
1⟹0 disinda hepsi 1 verir.Simdi p∧q′ onermesinin 1 olmasi demek p=1 ve q=0 olmasi demek.Bu durumda ⟹'in diger tarafi (1⟹1)∧(1⟹0) olur, yani 0 olur.Demek ki bu kosulda onerme 0 degeri aliyor, digerlerinde 1. Yani onerme p′∨q onermesine denk.