Файл: Учебник для сопровождения лекций и практических занятий.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 11.01.2024
Просмотров: 123
Скачиваний: 1
ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.
Истинно или ложно?
139
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0
Если высказывания ???? и ???? ложны, то высказывание «???? или ???? »
Например, если ???? ∼ 4 > 5, и ???? ∼ 2 2
= 5,
то высказывание
???? ∨ ????
, т.е. высказывание «4 > 5 или 2 2
= 5
» ложно.
Истинно или ложно?
140
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0
Если высказывания ???? и ???? ложны, то высказывание «???? или ???? » ложно.
Например, если ???? ∼ 4 > 5, и ???? ∼ 2 2
= 5,
то высказывание
???? ∨ ????
, т.е. высказывание «4 > 5 или 2 2
= 5
» ложно.
141
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
Если высказывания ???? и ???? ложны, то высказывание «???? или ???? » ложно.
Например, если ???? ∼ 4 > 5, и ???? ∼ 2 2
= 5,
то высказывание
???? ∨ ????
, т.е. высказывание «4 > 5 или 2 2
= 5
» ложно.
142
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1 143
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1
Если высказывание ???? ложно, а ???? истинно, то высказывание «???? или ???? »
144
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1
Если высказывание ???? ложно, а ???? истинно, то высказывание «???? или ???? »
Например, если ???? ∼
,
и ???? ∼
,
то высказывание
???? ∨ ????
, т.е. высказывание «
или
»
145
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1
Если высказывание ???? ложно, а ???? истинно, то высказывание «???? или ???? »
Например, если ???? ∼
,
и ???? ∼
,
то высказывание
???? ∨ ????
, т.е. высказывание «
или
»
Надо какое-нибудь неверное утверждение...
146
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1
Если высказывание ???? ложно, а ???? истинно, то высказывание «???? или ???? »
Например, если ???? ∼ 4 > 5, и ???? ∼
,
то высказывание
???? ∨ ????
, т.е. высказывание «4 > 5 или
»
Надо какое-нибудь неверное утверждение...
147
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1
Если высказывание ???? ложно, а ???? истинно, то высказывание «???? или ???? »
Например, если ???? ∼ 4 > 5, и ???? ∼
,
то высказывание
???? ∨ ????
, т.е. высказывание «4 > 5 или
»
Теперь надо какое-нибудь верное утверждение...
148
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1
Если высказывание ???? ложно, а ???? истинно, то высказывание «???? или ???? »
Например, если ???? ∼ 4 > 5, и ???? ∼ 2 2
= 4,
то высказывание
???? ∨ ????
, т.е. высказывание «4 > 5 или 2 2
= 4
»
Теперь надо какое-нибудь верное утверждение...
149
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1
Если высказывание ???? ложно, а ???? истинно, то высказывание «???? или ???? »
Например, если ???? ∼ 4 > 5, и ???? ∼ 2 2
= 4,
то высказывание
???? ∨ ????
, т.е. высказывание «4 > 5 или 2 2
= 4
»
Истинно или ложно?
150
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1
Если высказывание ???? ложно, а ???? истинно, то высказывание «???? или ???? »
Например, если ???? ∼ 4 > 5, и ???? ∼ 2 2
= 4,
то высказывание
???? ∨ ????
, т.е. высказывание «4 > 5 или 2 2
= 4
» истинно.
Истинно или ложно?
151
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1
Если высказывание ???? ложно, а ???? истинно, то высказывание «???? или ???? » истинно.
Например, если ???? ∼ 4 > 5, и ???? ∼ 2 2
= 4,
то высказывание
???? ∨ ????
, т.е. высказывание «4 > 5 или 2 2
= 4
» истинно.
152
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1 1
Если высказывание ???? ложно, а ???? истинно, то высказывание «???? или ???? » истинно.
Например, если ???? ∼ 4 > 5, и ???? ∼ 2 2
= 4,
то высказывание
???? ∨ ????
, т.е. высказывание «4 > 5 или 2 2
= 4
» истинно.
153
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1 1
1 0 154
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1 1
1 0
Если высказывание ???? истинно, а ???? ложно, то высказывание «???? или ???? »
155
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1 1
1 0
Если высказывание ???? истинно, а ???? ложно, то высказывание «???? или ???? »
Например, если ???? ∼
,
и ???? ∼
,
то высказывание
???? ∨ ????
, т.е. высказывание «
или
»
156
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1 1
1 0
Если высказывание ???? истинно, а ???? ложно, то высказывание «???? или ???? »
Например, если ???? ∼
,
и ???? ∼
,
то высказывание
???? ∨ ????
, т.е. высказывание «
или
»
Надо какое-нибудь истинное утверждение...
157
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1 1
1 0
Если высказывание ???? истинно, а ???? ложно, то высказывание «???? или ???? »
Например, если ???? ∼ 4 < 5, и ???? ∼
,
то высказывание
???? ∨ ????
, т.е. высказывание «4 < 5 или
»
Надо какое-нибудь истинное утверждение...
158
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1 1
1 0
Если высказывание ???? истинно, а ???? ложно, то высказывание «???? или ???? »
Например, если ???? ∼ 4 < 5, и ???? ∼
,
то высказывание
???? ∨ ????
, т.е. высказывание «4 < 5 или
»
Теперь надо какое-нибудь ложное утверждение...
159
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1 1
1 0
Если высказывание ???? истинно, а ???? ложно, то высказывание «???? или ???? »
Например, если ???? ∼ 4 < 5, и ???? ∼ 2 2
= 5,
то высказывание
???? ∨ ????
, т.е. высказывание «4 < 5 или 2 2
= 5
»
Теперь надо какое-нибудь ложное утверждение...
160
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1 1
1 0
Если высказывание ???? истинно, а ???? ложно, то высказывание «???? или ???? »
Например, если ???? ∼ 4 < 5, и ???? ∼ 2 2
= 5,
то высказывание
???? ∨ ????
, т.е. высказывание «4 < 5 или 2 2
= 5
»
Истинно или ложно?
161
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1 1
1 0
Если высказывание ???? истинно, а ???? ложно, то высказывание «???? или ???? »
Например, если ???? ∼ 4 < 5, и ???? ∼ 2 2
= 5,
то высказывание
???? ∨ ????
, т.е. высказывание «4 < 5 или 2 2
= 5
» истинно.
Истинно или ложно?
162
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1 1
1 0
Если высказывание ???? истинно, а ???? ложно, то высказывание «???? или ???? » истинно.
Например, если ???? ∼ 4 < 5, и ???? ∼ 2 2
= 5,
то высказывание
???? ∨ ????
, т.е. высказывание «4 < 5 или 2 2
= 5
» истинно.
163
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1 1
1 0 1
Если высказывание ???? истинно, а ???? ложно, то высказывание «???? или ???? » истинно.
Например, если ???? ∼ 4 < 5, и ???? ∼ 2 2
= 5,
то высказывание
???? ∨ ????
, т.е. высказывание «4 < 5 или 2 2
= 5
» истинно.
164
139
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0
Если высказывания ???? и ???? ложны, то высказывание «???? или ???? »
Например, если ???? ∼ 4 > 5, и ???? ∼ 2 2
= 5,
то высказывание
???? ∨ ????
, т.е. высказывание «4 > 5 или 2 2
= 5
» ложно.
Истинно или ложно?
140
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0
Если высказывания ???? и ???? ложны, то высказывание «???? или ???? » ложно.
Например, если ???? ∼ 4 > 5, и ???? ∼ 2 2
= 5,
то высказывание
???? ∨ ????
, т.е. высказывание «4 > 5 или 2 2
= 5
» ложно.
141
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
Если высказывания ???? и ???? ложны, то высказывание «???? или ???? » ложно.
Например, если ???? ∼ 4 > 5, и ???? ∼ 2 2
= 5,
то высказывание
???? ∨ ????
, т.е. высказывание «4 > 5 или 2 2
= 5
» ложно.
142
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1 143
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1
Если высказывание ???? ложно, а ???? истинно, то высказывание «???? или ???? »
144
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1
Если высказывание ???? ложно, а ???? истинно, то высказывание «???? или ???? »
Например, если ???? ∼
,
и ???? ∼
,
то высказывание
???? ∨ ????
, т.е. высказывание «
или
»
145
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1
Если высказывание ???? ложно, а ???? истинно, то высказывание «???? или ???? »
Например, если ???? ∼
,
и ???? ∼
,
то высказывание
???? ∨ ????
, т.е. высказывание «
или
»
Надо какое-нибудь неверное утверждение...
146
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1
Если высказывание ???? ложно, а ???? истинно, то высказывание «???? или ???? »
Например, если ???? ∼ 4 > 5, и ???? ∼
,
то высказывание
???? ∨ ????
, т.е. высказывание «4 > 5 или
»
Надо какое-нибудь неверное утверждение...
147
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1
Если высказывание ???? ложно, а ???? истинно, то высказывание «???? или ???? »
Например, если ???? ∼ 4 > 5, и ???? ∼
,
то высказывание
???? ∨ ????
, т.е. высказывание «4 > 5 или
»
Теперь надо какое-нибудь верное утверждение...
148
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1
Если высказывание ???? ложно, а ???? истинно, то высказывание «???? или ???? »
Например, если ???? ∼ 4 > 5, и ???? ∼ 2 2
= 4,
то высказывание
???? ∨ ????
, т.е. высказывание «4 > 5 или 2 2
= 4
»
Теперь надо какое-нибудь верное утверждение...
149
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1
Если высказывание ???? ложно, а ???? истинно, то высказывание «???? или ???? »
Например, если ???? ∼ 4 > 5, и ???? ∼ 2 2
= 4,
то высказывание
???? ∨ ????
, т.е. высказывание «4 > 5 или 2 2
= 4
»
Истинно или ложно?
150
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1
Если высказывание ???? ложно, а ???? истинно, то высказывание «???? или ???? »
Например, если ???? ∼ 4 > 5, и ???? ∼ 2 2
= 4,
то высказывание
???? ∨ ????
, т.е. высказывание «4 > 5 или 2 2
= 4
» истинно.
Истинно или ложно?
151
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1
Если высказывание ???? ложно, а ???? истинно, то высказывание «???? или ???? » истинно.
Например, если ???? ∼ 4 > 5, и ???? ∼ 2 2
= 4,
то высказывание
???? ∨ ????
, т.е. высказывание «4 > 5 или 2 2
= 4
» истинно.
152
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1 1
Если высказывание ???? ложно, а ???? истинно, то высказывание «???? или ???? » истинно.
Например, если ???? ∼ 4 > 5, и ???? ∼ 2 2
= 4,
то высказывание
???? ∨ ????
, т.е. высказывание «4 > 5 или 2 2
= 4
» истинно.
153
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1 1
1 0 154
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1 1
1 0
Если высказывание ???? истинно, а ???? ложно, то высказывание «???? или ???? »
155
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1 1
1 0
Если высказывание ???? истинно, а ???? ложно, то высказывание «???? или ???? »
Например, если ???? ∼
,
и ???? ∼
,
то высказывание
???? ∨ ????
, т.е. высказывание «
или
»
156
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1 1
1 0
Если высказывание ???? истинно, а ???? ложно, то высказывание «???? или ???? »
Например, если ???? ∼
,
и ???? ∼
,
то высказывание
???? ∨ ????
, т.е. высказывание «
или
»
Надо какое-нибудь истинное утверждение...
157
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1 1
1 0
Если высказывание ???? истинно, а ???? ложно, то высказывание «???? или ???? »
Например, если ???? ∼ 4 < 5, и ???? ∼
,
то высказывание
???? ∨ ????
, т.е. высказывание «4 < 5 или
»
Надо какое-нибудь истинное утверждение...
158
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1 1
1 0
Если высказывание ???? истинно, а ???? ложно, то высказывание «???? или ???? »
Например, если ???? ∼ 4 < 5, и ???? ∼
,
то высказывание
???? ∨ ????
, т.е. высказывание «4 < 5 или
»
Теперь надо какое-нибудь ложное утверждение...
159
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1 1
1 0
Если высказывание ???? истинно, а ???? ложно, то высказывание «???? или ???? »
Например, если ???? ∼ 4 < 5, и ???? ∼ 2 2
= 5,
то высказывание
???? ∨ ????
, т.е. высказывание «4 < 5 или 2 2
= 5
»
Теперь надо какое-нибудь ложное утверждение...
160
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1 1
1 0
Если высказывание ???? истинно, а ???? ложно, то высказывание «???? или ???? »
Например, если ???? ∼ 4 < 5, и ???? ∼ 2 2
= 5,
то высказывание
???? ∨ ????
, т.е. высказывание «4 < 5 или 2 2
= 5
»
Истинно или ложно?
161
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1 1
1 0
Если высказывание ???? истинно, а ???? ложно, то высказывание «???? или ???? »
Например, если ???? ∼ 4 < 5, и ???? ∼ 2 2
= 5,
то высказывание
???? ∨ ????
, т.е. высказывание «4 < 5 или 2 2
= 5
» истинно.
Истинно или ложно?
162
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1 1
1 0
Если высказывание ???? истинно, а ???? ложно, то высказывание «???? или ???? » истинно.
Например, если ???? ∼ 4 < 5, и ???? ∼ 2 2
= 5,
то высказывание
???? ∨ ????
, т.е. высказывание «4 < 5 или 2 2
= 5
» истинно.
163
III.3. Дизъюнкция
Логическая функция дизъюнкция паре высказываний ???? и ????
сопоставляет высказывание ???? ∨ ???? ,
логически эквивалентное высказыванию «???? или ???? ».
Логической операции «дизъюнкция» соответ- ствует одноименная булева функция дизъ- юнкция, которую можно задать таблицей истин- ности:
???? ???? ???? ∨ ????
0 0 0
0 1 1
1 0 1
Если высказывание ???? истинно, а ???? ложно, то высказывание «???? или ???? » истинно.
Например, если ???? ∼ 4 < 5, и ???? ∼ 2 2
= 5,
то высказывание
???? ∨ ????
, т.е. высказывание «4 < 5 или 2 2
= 5
» истинно.
164