(p v q)ancak ve ancak q = (p ise q) olduğunu gösteriniz lütfen anlatarak yapın ihtiyacım var yarın sınavım var lütfen açıklayarak yapınız
(pvq)<=>q=
[(pvq)=>q] ^ [q=>(pvq)]=
[(pvq)' v q ] ^ [ q' v (pvq)]=
[(p' ^ q')vq] ^ (1)=
[(p'vq) ^ (q' v q)] ^ 1 =
[(p'vq) ^ 1] ^ 1= (p'vq) ^ 1 = p'vq bu ifade zaten p=>q nun açılmış halidir