1) (A/\B) \/ (A/\¬B) = А
2) ¬ (X
\/ Y) /\ (X /\ ¬Y)= ¬X¬YX¬Y=0¬Y¬Y=0¬Y=0
3) ¬ X /\
Y \/ ¬ (X \/ Y) \/ X = ¬Xyv¬X¬YvX=¬XvX=1
4) ¬(B
V¬A)*( ¬BVA)*( ¬BV¬A)= A¬B(¬BvA)(¬Bv¬A)=A¬B(¬Bv¬A)=A¬B
5) ¬((B
V¬C)*( ¬АVC))*( ¬CV¬A) = ¬(¬A¬CvBC)(¬Cv¬A) =
(¬BCvA¬C)(¬Cv¬A) = ¬A¬BCvA¬C
6)
(¬(¬AV¬B*C))* (¬(¬BV¬C*A))=(A¬CvAB)(¬ABvBC)=ABC