Sıra sizde
a) (p' v 0') v (1 v p)
≡ 1 v 1
≡ 1
b) p v (p' v q)
≡ (p v p') v (p v q)
≡ 1 v (p v q)
≡ 1
c) (q' v 1) v (q v 0')
≡ 1 v 1
≡ 1
ç) (p' v q) v (p v q')
≡ 1
Sıra sizde
a) (p' v 0') v (1 v p)
≡ 1 v 1
≡ 1
b) p v (p' v q)
≡ (p v p') v (p v q)
≡ 1 v (p v q)
≡ 1
c) (q' v 1) v (q v 0')
≡ 1 v 1
≡ 1
ç) (p' v q) v (p v q')
≡ 1