Cevap :
[(p∧ (p v q')]v p'
≡[(p∧p)v (pvq')]vp'
≡[p'v(p∧p)] v [p'v(pvq')]
≡[(p'vp)∧(p'vp)] v [(p'vp)v(p'vq')]
≡(1∧1) v (1vp'vq')
≡1v1
≡1
anlamazsan daha ayrıntılı da anlatabilirim. :)
[p ve (p v q')]v p'
bileşik önermesinin totoloji oldugunu gösteriniz.
çözümüyle birlikte nasıl yapıldıgınıda anlatırsanız svınrm.
[(p∧ (p v q')]v p'
≡[(p∧p)v (pvq')]vp'
≡[p'v(p∧p)] v [p'v(pvq')]
≡[(p'vp)∧(p'vp)] v [(p'vp)v(p'vq')]
≡(1∧1) v (1vp'vq')
≡1v1
≡1
anlamazsan daha ayrıntılı da anlatabilirim. :)