Вики-учебник для подготовки к ЕГЭ/Раздел Информатика/Основы логики/Логические выражения и их преобразование/Конъюнкция
Логическое умножение (конъюнкция) - обозначается X1 /\ X2 Другие обозначения: X1 • X2, X1 & X2.Читается " икс один и икс два". Это сложное суждение, которое истинно только в том случае, когда и суждение X1, и суждение X2 истинны. В остальных случаях сложное высказывание ложно. Таблица истинности для конъюнкции (логического умножения):
X1 | X2 | X1 /\ X2 |
---|---|---|
0 | 0 | 0 |
0 | 1 | 0 |
1 | 0 | 0 |
1 | 1 | 1 |
Пример 2.
Рассмотрим условия, необходимые для получения человеком водительских прав. Суждение " Человек получает права водителя" обозначим через Y.
Для получения прав необходимо получить положительное заключение медицинской комиссии о состоянии здоровья. Сформулируем высказывание " Человек здоров" и обозначим его X1.
Кроме здоровья, надо еще сдать два экзамена: по вождению и по правилам дорожного движения (ПДД). Высказывания: X2 - " Экзамен по вождению сдан успешно";
X3 - " Экзамен по ПДД сдан успешно".
В символической записи имеем: y = X1 /\ X2 /\ X3(или y = X1 X2 X3 ). Суждение y будет истинным ( Y = 1) только в том случае, если истинны все три суждения: X1 = 1, X2 = 1 и X3 = 1. При всех других комбинациях Y = 0, то есть высказывание y ложно: человек не получит прав водителя.
К разделу Вики-учебник для подготовки к ЕГЭ/Раздел Информатика/Основы логики