Вики-учебник для подготовки к ЕГЭ/Раздел Информатика/Основы логики/Логические выражения и их преобразование/Конъюнкция
| Строка 38: | Строка 38: | ||
y = '''X1''' /\ '''X2''' /\ '''X3'''(или y = '''X1''' '''X2''' '''X3''' ). | y = '''X1''' /\ '''X2''' /\ '''X3'''(или y = '''X1''' '''X2''' '''X3''' ). | ||
Суждение y будет истинным ( '''Y''' = 1) только в том случае, если истинны все три суждения: '''X1''' = 1, '''X2''' = 1 и '''X3''' = 1. При всех других комбинациях '''Y''' = 0, то есть высказывание y ложно: человек не получит прав водителя. | Суждение y будет истинным ( '''Y''' = 1) только в том случае, если истинны все три суждения: '''X1''' = 1, '''X2''' = 1 и '''X3''' = 1. При всех других комбинациях '''Y''' = 0, то есть высказывание y ложно: человек не получит прав водителя. | ||
| + | |||
| + | ---- | ||
| + | |||
| + | [[Вики-учебник для подготовки к ЕГЭ/Раздел Информатика/Основы логики/Логические выражения и их преобразование|Назад''']] | ||
| + | |||
| + | [[Вики-учебник для подготовки к ЕГЭ/Раздел Информатика/Основы логики|''К разделу'' '''Вики-учебник для подготовки к ЕГЭ/Раздел Информатика/Основы логики''']] | ||
Текущая версия на 23:15, 7 декабря 2008
Логическое умножение (конъюнкция) - обозначается 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 ложно: человек не получит прав водителя.
К разделу Вики-учебник для подготовки к ЕГЭ/Раздел Информатика/Основы логики
