Алгебра суждений
В данных таблицах истинности используется стандартное обозначение переменных, которые могут быть только 0 или 1.
1 - истинно, 0 - ложно.

Логическая операция КОНЪЮНКЦИЯ Таблица истинности ПРАВИЛО
Cоответствует союзу И, обозначается знаками &, , + , и в программировании союзом "AND", иначе называется ЛОГИЧЕСКОЕ УМНОЖЕНИЕ.

Tаблица 1

ABAB
0
0
0
0
1
0
1
0
0
1
1
1
Конъюнкция двух переменных истинна тогда и только тогда, когда оба высказывания истинны.
Логическая операция ДИЗЪЮНКЦИЯ Таблица истинности ПРАВИЛО
Cоответствует союзу ИЛИ, обозначается знаками , *, и в программировании союзом "OR", иначе называется ЛОГИЧЕСКОЕ СЛОЖЕНИЕ.

Tаблица 2

ABAB
0
0
0
0
1
1
1
0
1
1
1
1
Дизъюнкция двух переменных ложна тогда и только тогда, когда оба высказывания ложны.
Логическая операция
ИНВЕРСИЯ		 Таблица истинности ПРАВИЛО
Cоответствует частице НЕ, обозначается черточкой над именем переменной () или знакм (A), и в программировании союзом "NOT", иначе называется ОТРИЦАНИЕМ.

Tаблица 3

A
0
1
1
0
Инверсия логической переменной истинна, если сама переменная ложна, и, инверсия ложна, если переменная истинна.
Логическая операция ИМПЛИКАЦИЯ Таблица истинности ПРАВИЛО
Cоответствует союзу ЕСЛИ..., ТО..., обозначается символами или и в программировании операцию обозначают "IMP", а сам союз "IF..., THEN..." иначе называется ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ.

Tаблица 4

ABAB
0
0
1
0
1
1
1
0
0
1
1
1
Импликацией двух высказываний А и В называют высказывание, которое ложно в том и только в том случае, когда А - истинно, а В - ложно. Высказывание А называется условием или посылкой импликации , а В - заключением или следствием импликации.
Логическая операция ЭКВИВАЛЕНТНОСТЬ Таблица истинности ПРАВИЛО
Обозначается знаком .
В программирование логическую эквивалентность обозначают символами "EQV".

Tаблица 2

ABAB
0
0
1
0
1
0
1
0
0
1
1
1
ЭКВИВАЛЕНТНЫМИ называются два суждения, которые одновременно истинны или одновременно ложны.

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

    НАПРЯГИ ИЗВИЛИНЫ