Инф6. Основные операции и законы алгебры логики.
Базовыми элементами, которыми оперирует алгебра логики, являются высказывания. Высказывания обозначают строчными буквами — логическими переменными.
Возможные значения логической переменной: 1 — истина, 0 — ложь.
Высказывания строятся из логических переменных и логических констант 1 и 0 при помощи операций:
- ¬ отрицание (унарная операция),
- ∧ конъюнкция, логическое умножение (бинарная),
- ∨ дизъюнкция, логическое сложение (бинарная),
- ↔ эквивалентность («тогда и только тогда, когда») (бинарная),
- → импликация («следовательно») (бинарная),
- ⊕ сложение по модулю два («исключающее или»), — штрих Шеффера, — стрелка Пирса и другие.
Приоритет логических операций: если в выражении нет скобок, сначала выполняются все операции «НЕ», затем – «И», затем – «ИЛИ», и самая последняя – «импликация».
