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

Question

Нужно упросить выражение)

¬(¬(¬A V ¬B) & (A V B))

Answer 1

¬(¬(¬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