Question

Постройте логическое выражение, соответствующее данной таблице истинности, используя минимальное количество переменных и минимальное количество операций. Логическое выражение может содержать только операции инверсии, конъюнкции и дизъюнкции.

Комментарий по вводу ответа: переменные вводятся большими латинскими буквами; логические операции обозначаются, соответственно, как not, and и or.

Answer 1

Выписываем из таблицы строки с единичным значением F (потому что таких строк меньше, чем с нулевым). Составляем логическое выражение, отмечая нули инверсией соответствующей переменной и соединяя строки по ИЛИ:
F = (A ∧ ¬B ∧ ¬C) ∨ (A ∧ ¬B ∧ C) = A ∧ ¬B ∧(¬C ∨ C) = A ∧ ¬B

Ответ: A and not B