Презентация "Логические функции и законы логики

Логические функции

Логическое отрицание

Логическое умножение (Конъюнкция, логическое И)

Конъюнкция X1 & X2 & X3 &...& Xn истинна тогда и только тогда, когда истинны все высказывания X1, X2, X3, ...Xn, следовательно, принимает значение «ложь», когда ложно хотя бы одно из этих высказываний.

Логическое сложение (дизъюнкция, логическое ИЛИ)

Дизъюнкция X1 V X2 V X3 V... V Xn истинна тогда и только тогда, когда истинно хотя бы одно из этих высказываний, а, следовательно, принимает значение «ложь», когда все высказывания ложны.

Логическое следование (импликация) «→»

Импликацией X → Y называется высказывание, которое ложно тогда и только тогда, когда X истинно и Y ложно.

Логическое тождество (эквиваленция)«↔», «=», «~»

Эквиваленцией двух высказываний X и Y называется такое высказывание, которое истинно тогда и только тогда, когда оба эти высказывания А и В истинны или оба ложны.

Операция исключающая ИЛИ (неравнозначность, сложение по модулю 2) « + »

Неравнозначностью двух высказываний X и Y называют такое высказывание, которое истинно тогда и только тогда, когда одно их этих высказываний истинно, а другое ложно.