Чтобы определить диапазон значений переменной, при котором логическое выражение становится ложным, можно использовать таблицу истинности. 2
Алгоритм построения таблицы истинности: 2
- Определить количество строк. 2 Оно равно количеству возможных комбинаций значений логических переменных, входящих в логическое выражение. 2 Ещё одну строку стоит добавить для указания самих переменных, итого строк в таблице будет 2n + 1. 2
- Определить количество столбцов. 2 Оно равно количеству логических переменных плюс количество логических операций. 2 Это нужно для того, чтобы вычислять значение логического выражения поэтапно, последовательно выполняя все логические операции над исходными переменными. 2
- Построить таблицу. 2 В неё вносят всевозможные наборы логических переменных. 2
- Заполнить таблицу истинности. 2 Для этого выполняют базовые логические операции в необходимой последовательности и в соответствии с таблицей истинности. 2
Некоторые свойства логических операций, которые могут помочь определить, при каких значениях переменных выражение ложно:
- Логическая сумма. 3 Выражение ложно, когда все слагаемые одновременно равны нулю, а в остальных случаях равно 1 (выражение истинно). 3
- Логическое произведение. 3 Выражение истинно, когда все сомножители одновременно равны единице, а в остальных случаях равно 0 (выражение ложно). 3
- Логическое следование (импликация). 3 Выражение ложно, когда первое высказывание (посылка) истинно, а второе (следствие) — ложно. 34