¬(A&B ∨ ¬C) или, после упрощения, ¬A&C ∨ ¬B&C
Объяснение:
¬(A&B ∨ ¬C) можно упростить.
По правилу де-Моргана ¬(A&B) & C
По правилу де-Моргана (¬A ∨ ¬B) & C
Раскроем скобки ¬A&C ∨ ¬B&C
