double arrow

Замечание1


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

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

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

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

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







Сейчас читают про: