[yasemin1409]

[(pvq)' v(p^q')] v q önermesinin totoloji olduğunu özellikler yardımıyla gösteriniz.
2)(pvq')' ^ (p'^q) çelişki olduğunu doğruluk tablosuyla ile gösteriniz.
3)[p'=>(p^q) => (p'=>q) önermesinin totoloji olduğunu gösteriniz.
4)[(p=>q') => [(pvq)=>q']]' ^p' önermesinin çelişki olduğunu gösteriniz.
5) (p <=> q)' ^ (pvq)' önermesinin doğruluk değerini bulunuz.
Cevaplarsanız sevinirim

[Melek12]

C.1
(pvq)' v(p^q')] v q =(p'^q')v(p^q')vq=q'^(p'vp)vq=q'^1vq=q'vq=1

C.2
(pvq')'^(p'^q) = (p'^q)^(p'^q)=p'^q

C.3
[p'=>(p^q) => (p'=>q)] = (p')'v(p^q)=>(p')'vq = (pv(p^q))'v(pvq) = p'^(p'vq')v(pvq)=p'^p'vpvq'vq=p'^1=p'

Tabloda yapmadım. Sen bunları tablolaştırabilirsin.

[Serkan A.]

Eline sağlık Melek

[yasemin1409]

Aynen,çok teşekkürler.