p=›[(q'=›p)^p] önermesinin doğruluk değerini bulunuz
p v [(q' => p)^p)]'p v [(q v p')' v p']p v [(q ^ p) v p']p v [(p' v p) ^ (p ^ q)]p v [ 1 ^ (p ^ q)] cevap = p v (p ^ q)