При каких значениях переменных A, B, C выполняется равенство (A AND C) → NOT B = 0 (здесь...

Question

При каких значениях переменных A, B, C выполняется равенство
(A AND C) → NOT B = 0 (здесь OR - логическое ИЛИ, AND - логическое И, NOT - отрицание, → - импликация)? В ответ записать последовательность значений A, B, C (например если А=0, B=1 и С=1 в поле ответа нужно записать 011 без разделителей).

Answer 1

Преобразуем левую часть:
(A AND C) → NOT B = 0
NOT (A AND C) OR NOT B = 0
NOT A OR NOT C OR NOT B = 0
A=1, B=1, C=1
Таким образом, ответ 111
Можно было ответ получить и без преобразований, если вспомнить правило выполнения импликации ( →).

Comments

Благодарю