Рассмотрим логическое выражение A ∧ (¬B → C) ∨ B ∧ C ≡ 1
Составим таблицу истинности:
A B C
1 1 0
1 0 1
0 1 1
1 1 1
Получим, что в каждом решении хотя бы 2 из 3–х высказываний истинны.
Тогда высказывание A ∧ (¬B → C) ∨ B ∧ C ≡ 1 подходит


Заявка на расчет