Основные понятия алгебры логики

Понятие	Описание
Высказывание истина – 1, +, «да», T (true – истина); ложь – 0, –, «нет», F (false – ложь).	Суждение, выраженное повествовательным предложением, о котором можно сказать истинно оно или ложно. Высказывания подразделяются на простые и сложные (составные). Каждому высказыванию ставится в соответствие логическая переменная, обозначаемая прописной буквой латинского алфавита. Например, высказывание А º «Клавиатура – устройство для ввода информации в системный блок» (А = 1) и В º «ВЗУ располагается внутри системного блока» (В = 0).
Логическая связка	Операция, позволяющая определить истинность составного высказывания, образованного простыми высказываниями.
Таблица истинности	Таблица, устанавливающая соответствие между возможными наборами значений логических переменных и значениями составных высказываний.

Логические операции над высказываниями

Логическая операция	Название	Обозначение
Конъюнкция Логическое умножение	И	Ù, &, ·
Дизъюнкция Логическое сложение	Или	Ú, +
Инверсия Логическое отрицание	Не	¯, ﹁
Импликация Логическое следование	Если …, то …	→, ⇒
Эквиваленция Логическое отражение	Тогда … только тогда, когда …	↔, ⇔

Логические операции имеют следующий приоритет: – действия в скобках; – инверсия; - конъюнкция; – дизъюнкция; – импликация; – эквиваленция.