Напомним, что логическое выражение называется тождественно истинным, если оно принимает значение 1 на всех наборах значений переменных, входящих в него.
Например, проверим, является ли тождественно истинным выражение  используя таблицу истинности.
Это выражение состоит из трех элементарных логических функций, которые вычисляются по порядку, соответствующему их приоритету. Поэтому сначала вычислим  затем  потом
Заполним таблицу истинности по шагам в соответствии с порядком вычисления элементарных логических функций.

Из таблицы видно, что исходное логическое выражение НЕ является тождественно истинным, так как на 1-ом, 2-ом и 4-ом наборах значений переменных оно принимает значение 0.

Напомним, что логическое выражение называется тождественно истинным, если оно принимает значение 1 на всех наборах значений переменных, входящих в него.
Например, проверим, является ли тождественно истинным выражение  используя таблицу истинности.
Это выражение состоит из трех элементарных логических функций, которые вычисляются по порядку, соответствующему их приоритету. Поэтому сначала вычислим  затем  потом
Заполним таблицу истинности по шагам в соответствии с порядком вычисления элементарных логических функций.

Из таблицы видно, что исходное логическое выражение НЕ является тождественно истинным, так как на 1-ом, 2-ом и 4-ом наборах значений переменных оно принимает значение 0.

Напомним, что логическое выражение называется тождественно истинным, если оно принимает значение 1 на всех наборах значений переменных, входящих в него.
Например, проверим, является ли тождественно истинным выражение  используя таблицу истинности.
Это выражение состоит из трех элементарных логических функций, которые вычисляются по порядку, соответствующему их приоритету. Поэтому сначала вычислим  затем  потом
Заполним таблицу истинности по шагам в соответствии с порядком вычисления элементарных логических функций.

Из таблицы видно, что исходное логическое выражение НЕ является тождественно истинным, так как на 1-ом, 2-ом и 4-ом наборах значений переменных оно принимает значение 0.