Для высказывания "A или B и не C" начнем с построения таблицы истинности. Высказывание можно представить в виде логической формулы: ).
Для удобства, сначала определим значения для и , а затем найдем результат для всего выражения ).
Вот шаги:
Переменные: у нас есть три булевые переменные , , и , каждая из которых может принимать значения Истина или Ложь .
Операция "не" ): применяется к переменной .
Операция "и" ): применяется к результату и переменной .
Операция "или" ): применяется к результату и переменной .
Таблица истинности для каждой комбинации переменных , , и будет выглядеть следующим образом:
| | | | | ) |
0 | 0 | 0 | 1 | 0 | 0 |
0 | 0 | 1 | 0 | 0 | 0 |
0 | 1 | 0 | 1 | 1 | 1 |
0 | 1 | 1 | 0 | 0 | 0 |
1 | 0 | 0 | 1 | 0 | 1 |
1 | 0 | 1 | 0 | 0 | 1 |
1 | 1 | 0 | 1 | 1 | 1 |
1 | 1 | 1 | 0 | 0 | 1 |
В последнем столбце представлены итоговые значения выражения ) для каждой из возможных комбинаций значений , , и .