ВУЗ:
Составители:
15
5. Отрицание (, ¬, ‾ , NOT, не) это унарная операция, в ре-
зультате которой получаем высказывание, которое истинно
когда исходное высказывание ложно, и ложно, когда исход-
ное высказывание истинно.
Таблица истинности отрицания следующая:
А
A
0 1
1 0
6. Исключающее или
Таблица истинности данной операции следующая:
А
В
А исключающее или В
0
1
1
0
0
0
1
0
1
1
1
0
Приоритеты в порядке выполнения операций следующие: первыми
выполняются операции в скобках, затем отрицание, конъюнкция и дизъ-
юнкция слева направо, импликация, эквиваленция.
Пример 1. Построить таблицу истинности логической функции
G=C →(
BС ∨
)
Для построения таблицы истинности необходимо для двух входящих
высказываний C и B, перебрать все возможные варианты отношений,
именно оба ложны, оба истинны, один принимает значение истинно дру-
гой ложно, а затем последовательно, по столбцам, в соответствии с при-
оритетами выполнить все логические операции:
С В
С
BС ∨
C →(
BС ∨
)
0 1 1 1 1
0 0 1 1 1
1 0 0 0 0
1 1 0 1 1
Задачи для решения
1. Построить таблицу истинности высказывания C=A →
В
& A
2. Какова таблица истинности логической функции F=A∨
В
PDF created with FinePrint pdfFactory Pro trial version www.pdffactory.com
5. Отрицание (, ¬, ‾ , NOT, не) это унарная операция, в ре-
зультате которой получаем высказывание, которое истинно
когда исходное высказывание ложно, и ложно, когда исход-
ное высказывание истинно.
Таблица истинности отрицания следующая:
А A
0 1
1 0
6. Исключающее или
Таблица истинности данной операции следующая:
А В А исключающее или В
0 1 1
0 0 0
1 0 1
1 1 0
Приоритеты в порядке выполнения операций следующие: первыми
выполняются операции в скобках, затем отрицание, конъюнкция и дизъ-
юнкция слева направо, импликация, эквиваленция.
Пример 1. Построить таблицу истинности логической функции
G=C →( С ∨ B )
Для построения таблицы истинности необходимо для двух входящих
высказываний C и B, перебрать все возможные варианты отношений,
именно оба ложны, оба истинны, один принимает значение истинно дру-
гой ложно, а затем последовательно, по столбцам, в соответствии с при-
оритетами выполнить все логические операции:
С В С С∨B C →( С ∨ B )
0 1 1 1 1
0 0 1 1 1
1 0 0 0 0
1 1 0 1 1
Задачи для решения
1. Построить таблицу истинности высказывания C=A → В & A
2. Какова таблица истинности логической функции F=A∨ В
15
PDF created with FinePrint pdfFactory Pro trial version www.pdffactory.com
Страницы
- « первая
- ‹ предыдущая
- …
- 13
- 14
- 15
- 16
- 17
- …
- следующая ›
- последняя »
