Упростите выражение (A&B)V(B&C)V(CVA)V(неA&B)

1) (A v B) amp; (A v B v C) = A v B

2)  A amp; (B amp; (¬A v ¬B)) = 0

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

4) ¬ (A v B → ¬ (B v C)) = B v A amp; C

5) A amp; B amp; C amp; (¬B v ¬C) v D = D