Логическое отрицание.

Логическим отрицанием (логической функцией НЕ) высказывания называется высказывание которое истинно, если ложно и ложно, если истинно. Операция (функция) НЕ записывается следующим обра­зом Результат операции пред­ставлен в таблице

Операция	Значения переменной

Логическое сложение (дизъюнкция).

Логическим сложением (дизъюнкцией, логической функцией ИЛИ) двух высказываний и называется высказывание , которое ложно только тогда, когда ложны и . Во всех остальных случаях выска­зывание истинно. Как функция логических переменных дизъ­юнкция записыва­ется следующим образом: Таблица истинности опера­ции имеет вид

Операция	Значения переменной

Дизъюнкция может быть функцией многих переменных, т.е.

Логическое умножение (конъюнкция).

Логическим умножением (конъюнкцией, логической функцией И) двух высказываний и называется высказывание , которое ис­тинно только тогда, когда истинны и . Во всех остальных случаях вы­сказыва­ние ложно. Конъюнкция записывается следующим обра­зом:

Результаты операции проиллюстрированы в таблице

Операция	Значения переменной

Как и дизъюнкция, определена функция И многих переменных

Импликация.

Импликацией двух высказываний и называется высказывание , которое ложно тогда и только тогда, когда истинно, а ложно. Функция импликация записывается в виде Таб­лица истинно­сти для данной функции имеет вид

Операция	Значения переменной

Равнозначность (эквивалентность).

Равнозначностью двух высказываний, называется высказывание, кото­рое истинно, если значения истинности входящих в него высказыва­ний сов­падают. Запись функции имеет вид Результаты при­ведены в таблице истинности.

Операция	Значения переменной