Замечание1

Определение операций конъюнкции и дизъюнкции легко может быть перенесено на любое число переменных.

Под конъюнкцией мы понимаем логическое умножение, поэтому ее элементы мы будем называть множителями, причем знак конъюнкции в записи можно опускать.

Под дизъюнкцией мы понимаем логическое сложение, поэтому ее элементы мы будем называть слагаемыми.

Опр. Импликацией 2-х переменных (логическим следованием) называется такая функция f(x₁,x₂)= x₁ x₂ , которая равна 0, тогда и только тогда, когда первая переменная равна 1, а вторая принимает значение 0.

Опр. Эквиваленцией 2-х переменных (логическим равенством) называется такая функция f(x₁,x₂)= x₁x₂, которая принимает значение 1, если и только если обе переменные принимают одинаковые истинностные значения.