Cevap :
İşlem adımlarını takip ediniz .
- p <=> ( p v q )
Ancak ve ancak ( <=> ) ifadesini açalım .
- [p=>(pVq)]^[(pVq)=>p]
- [p'V(pVq)]^[(pVq)'Vp]
- [p'VpVq]^[(p'^q')Vp]
- 1^her şey buraya bağlı
- [(p'^q')Vp]
- (pVp')^(pVq')
- 1^(pVq')
pVq' ve bu ifadeye uygun şık C'dir çünkü q=>p ifadesi q'Vp'ye denktir ve ikisi de denktir .
Cevap seçeneği : C
@kerem
atamizindeyiz