Алгебра высказываний
«2X2=4» - А=1 «2X2=5» - Б=0
Конъюнкция (умножение) С=А&Б ( Ʌ) и
Дизъюнкция. С=АVБ или
Отрицание ( инверсия )
Импликация ( следствие )
Эквивалентность
Базовые логические элементы
Логические выражения называют равносильными , если у них совпадают результаты таблиц истинности.