Как определяется область истинности логических операций?

Область истинности логических операций определяется с помощью таблиц истинности. sites.google.com resh.edu.ru Это таблицы, в которых показано, какие значения принимает логическое выражение при всех возможных наборах его переменных. sites.google.com

При составлении таблицы истинности учитывают порядок выполнения логических операций: действия в скобках, отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность. sites.google.com

Некоторые свойства логических операций:

• Отрицание (инверсия, логическое НЕ). resh.edu.ru Высказыванию ставится в соответствие новое высказывание, значение которого противоположно исходному. resh.edu.ru
• Конъюнкция (логическое умножение, логическое И). resh.edu.ru Высказывание истинно тогда и только тогда, когда истинны оба исходных высказывания. resh.edu.ru
• Дизъюнкция (логическое сложение, логическое ИЛИ). resh.edu.ru Высказывание ложно тогда и только тогда, когда ложны оба исходных высказывания. resh.edu.ru
• Импликация (логическое следование). resh.edu.ru Высказывание ложно тогда и только тогда, когда первое высказывание (посылка) истинно, а второе (следствие) — ложно. resh.edu.ru