Нужно упросить выражение) ¬(¬(¬A V ¬B) & (A V B))
¬(¬(¬A V ¬B) & (A V B)) ⇒ ¬((A & B) & (A V B)) ⇒ ¬((A & B & A) V (A & B & B)) ⇒ ¬((A & B) V (A & B)) ⇒ ¬(A & B) ⇒ ¬A V ¬B