= [(A ∪ ~A) ∩ (B ∪ ~A) ∩ (C ∪ ~A) ∩ (~D ∪ ~A) ∩
∩ (A ∪ C) ∩ (B ∪ C) ∩ (C ∪ C) ∩ (~D ∪ C)] ∪
∪ [(~B ∪ C) ∩ (C ∪ C) ∩ (~B ∪ D) ∩ (C ∪ D)] =
= [1 ∩ (B ∪ ~A) ∩ (C ∪ ~A) ∩ (~D ∪ ~A) ∩
∩ (A ∪ C) ∩ (B ∪ C) ∩ C ∩ (~D ∪ C)] ∪
∪ [(~B ∪ C) ∩ C ∩ (~B ∪ D) ∩ (C ∪ D)] =
= [(B ∪ ~A) ∩ (~D ∪ ~A) ∩ C] ∪ [C ∩ (~B ∪ D)] =
= (C ∩ B ∩ ~D) ∪ (C ∩ ~A ∩ ~D) ∪ (C ∩ B ∩ ~A) ∪
∪ (C ∩ ~A ∩ ~A) ∪ (C ∩ ~B) ∪ (C ∩ D) =
= (C ∩ B ∩ ~D) ∪ (C ∩ ~A ∩ ~D) ∪ (C ∩ B ∩ ~A) ∪
∪ (C ∩ ~A) ∪ (C ∩ ~B) ∪ (C ∩ D) =
= (B ∩ C ∩ ~D) ∪ (~A ∩ C) ∪ (~B ∩ C) ∪ (C ∩ D)
Кажется, это всё, что можно сделать.