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'
A- p' V q' B-p^q C-pvq' D-p'^ q E-p'^q'
gereksizyorumcu 18:51 15 Mar 2011 #2 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'
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