Выражения: (a v b) & (a v b v c); a & (b & (¬a v ¬b)); ¬ (a & (b v ¬c) v ¬a & b); ¬ (a v b → ¬ (b v c)); a & b & c & (¬b v ¬c) v d;

1) (A v B) & (A v B v C) = A v B

2)  A & (B & (¬A v ¬B)) = 0

3) ¬ (A & (B v ¬C) v ¬A & B) = (A → B) & ¬B (Возможно можно еще как-то сократить)

4) ¬ (A v B → ¬ (B v C)) = B v A & C

5) A & B & C & (¬B v ¬C) v D = D