Question

Упростите выражения:
1) (A/B) / (A/¬B) =
2) ¬ (X / Y) / (X / ¬Y)=
3) ¬ X / Y / ¬ (X / Y) / X =
4) ¬(B V¬A)*( ¬BVA)*( ¬BV¬A)=
5) ¬((B V¬C)*( ¬АVC))*( ¬CV¬A)=
6) (¬(¬AV¬B*C))* (¬(¬BV¬C*A))=

Answer 1

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