SORU 1) ( P'=>(qvp) )=>(p'=>q)' birleşik önermesinin eşiti aşağıdakilerden hangisidir?
A- p' V q' B-p^q C-pvq' D-p'^ q E-p'^q'
Yazdırılabilir görünüm
SORU 1) ( P'=>(qvp) )=>(p'=>q)' birleşik önermesinin eşiti aşağıdakilerden hangisidir?
A- p' V q' B-p^q C-pvq' D-p'^ q E-p'^q'
p=>q ≡ p'Vq , oluyordudxen'den alıntı:SORU 1) ( P'=>(qvp) )=>(p'=>q)' birleşik önermesinin eşiti aşağıdakilerden hangisidir?
A- p' V q' B-p^q C-pvq' D-p'^ q E-p'^q'
bunları => ler için uygularsak
(p'=>(qvp))=>(p'=>q)'
((p')'V(qVp))'V((p')'Vq)'
(pVqVp)'V(pVq)'
(pVq)'V(pVq)'
(pVq)'
p'/\q' , E seçeneği oluyor galiba