Логическое умножение (Конъюнкция, логическое И)
X | Y | X&Y |
0 | ||
1 | 0 | |
1 | 0 | |
Конъюнкция X1 & X2 & X3 &...& Xn истинна тогда и только тогда, когда истинны все высказывания X1, X2, X3, ...Xn, следовательно, принимает значение «ложь», когда ложно хотя бы одно из этих высказываний.
Логическое сложение (дизъюнкция, логическое ИЛИ)
X | Y | X V Y |
0 | ||
1 | ||
1 | 0 | 1 |
Дизъюнкция X1 V X2 V X3 V... V Xn истинна тогда и только тогда, когда истинно хотя бы одно из этих высказываний, а, следовательно, принимает значение «ложь», когда все высказывания ложны.
Логическое следование (импликация) «→»
X | Y | X→Y |
0 | 1 | |
1 | ||
1 | 0 | |
Импликацией X → Y называется высказывание, которое ложно тогда и только тогда, когда X истинно и Y ложно.
Логическое тождество (эквиваленция)«↔», «=», «~»
X | Y | X↔Y |
0 | 1 | |
1 | 0 | |
1 | 0 | |
Эквиваленцией двух высказываний X и Y называется такое высказывание, которое истинно тогда и только тогда, когда оба эти высказывания А и В истинны или оба ложны.
Материалы на данной страницы взяты из открытых источников либо размещены пользователем в соответствии с договором-офертой сайта. Вы можете сообщить о нарушении.