Построение таблиц истинности

С помощью стандартного ЕСЛИ и И, ИЛИ, НЕ можем составить любое логическое выражение и Excel самостоятельно нам посчитает результат нашего выражения. Разберем подробно несколько примеров.
1) Построим таблицу истинности выражения (¬x /\ ¬y) \/ (y≡z) \/  w. Для составления формулы заметим, что у нас ИЛИ должно применяться для трех выражений (¬x /\ ¬y) или (y≡z) или w. В Excel мы бы это записаликак ИЛИ((¬x /\ ¬y);(y≡z);w). Теперь представим в правильном виде выражения (¬x /\ ¬y) и (y≡z) . Начнем с (y≡z) , т.к. оно проще, мы просто должны поставить между y и z обычное равно. ИЛИ((¬x /\ ¬y);(y=z);w) . В выражении (¬x /\ ¬y) знак /\ - это оператор И, соответственно переписываем его как И( ¬x ;¬y). Знак  ¬ в Excel перепишется как НЕ , и в итоге выражение (¬x /\ ¬y) преобразуется в И(НЕ(x);НЕ(y)). Итоговая формула выглядит как ИЛИ(И(НЕ(x);НЕ(y));y=z;w).
Теперь построим таблицу истинности непосредственно в Excel.

2) Построим таблицу истинности выражения ¬(y → w) \/ (x → z) \/ ¬x. Опять же ИЛИ между тремя значениями, первое из которых ¬(y → w) , что преобразуется в НЕ(y<=w). В целом с импликацией мы работаем здесь как будто 0 и 1 натуральные числа, а не логические значения. Тогда и выходит, что если первое число меньше или равно второму - истина, в противном случае - ложь (ложь получается только когда 1 следует в 0). Второе значение (x → z) - в итоге получается x<=z. Третье ¬x преобразуется в НЕ(x). Итого наша итоговая функция выглядит как ИЛИ(НЕ(y<=w);x<=z;НЕ(x) ).
Построим таблицу истинности в Excel.

Табличка с представлением элементарных функций в Excel.