1) [(p' ve 1) veya (p veya 0)]ise[(p' ise p) ancak ve ancak (p ise 0)]≡? (cvp:1)
2) (p veya q') ve (p ancak ve ancak q)≡0 olduğunu gösteriniz.
(bu 2 soru yanlış olabilir.)
3) x>0 ve y>0 olmak üzere; x<y ise x²<y² teoremini doğrudan ispat yöntemiyle ispatlayınız.
4)[(p ve q)ise(p ancak ve ancak q)] ve [(p v q)ise r] ise [(r' ve q)ise r']]≡? (cvp:1)