Разберем, что такое ЛОГИЧЕСКИЕ ОПЕРАЦИИ и ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ.
С 1-го класса всем известно, что в математике есть математические операции:
- сложение (+),
- вычитание (-),
- умножение (*),
- деление (:).
Данные операции помогают из отдельных чисел составлять математические выражения.
В алгебре логики аналогично математике есть логические операции, которые из отдельных высказываний помогают составлять логические выражения. К таким основным операциям относятся инверсия («НЕ», отрицание), конъюнкция («И», логическое умножение), дизъюнкция («ИЛИ», логическое сложение), импликация («ЕСЛИ, ТО»; следствие), эквивалентность («ТОГДА И ТОЛЬКО ТОГДА, КОГДА»; тождество).
