[s-özde]

Aşağıdakilerden hangisi (p <=> q)' önermesine denktir?
A) p' <=> q ' B) p <=> q' C) p' ^ q' D)p' v q' E) p' => q'

[kcancelik]

(p<=>q)=(p=>q)ve(q=>p)=(p'vq)ve(q'vp)
Değilini alalım(De Morgan):
(pveq')v(qvep')
[(pveq')vq]ve[(pveq')vp']
[(pvq)ve(qvq')]ve[(pvp')ve(q'vp')]
(pvq)ve(q'vp')
(q'=>p)ve(p=>q')
(q'<=>p)
İyi günler.

[s-özde]

teşekkürler