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