0:00
Сложность: ЭкспертКатегория: Логическая эквивалентностьТип: Проверка эквивалентности

Является ли следующее выражение выполнимым (можно ли сделать его истинным)?

(A ∨ B) ∧ (¬A ∨ C) ∧ (¬B ∨ ¬C)

Определите, существует ли присваивание значений истинности, которое делает это выражение истинным.