fenerbahçeliyim ama şerefsiz değilim

ders: mantık
konu: denklik

~: denklik.
p: fenerbahçeliyim.
p': fenerbahçeli değilim.
q: şerefsiz değilim. (şerefliyim)
q': şerefsizim.
-doğruluk değerleri-
1: doğru
0: yanlış

fenerbahçeliyim ama şerefsiz değilim demek, fenerbahçeli şerefsizler de var demektir ve doğruluk değeri 1'dir.
onları şöyle bir alalım hele:
(p ve q')~1
~(p' veya q)'~1
~(p ise q)'~1
~(p ise q)~0
sonuç: "fenerbahçeliysem şerefliyim." önermesinin doğruluk değeri yanlıştır.