-
Önermeler Acil Önemli :)
[(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 :) :)
-
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.
-
-
Aynen,çok teşekkürler. :)