Алгебра логики

Обозначения логических операций:

Отрицание: , -А,⌐А

Умножение: &, ˄

Сложение: |,˅

Импликация: →

Эквиваленция: ↔

Таблица истинности простейших логических операций:

Законы алгебры логики