Тема:
таблицы
истинности.
Схема
элемента «НЕ»
(логическое отрицание, инверсия)
Таблица
истинности операции (элемента) «НЕ»
|
а |
¬а |
|
0 |
1 |
|
1 |
0 |
Схема
элемента «И»
(логическое умножение, конъюнкция)
Таблица
истинности операции (элемента) «И»
|
a |
b |
a Λ b |
|
0 |
0 |
0 |
|
0 |
1 |
0 |
|
1 |
0 |
0 |
|
1 |
1 |
1 |
Схема
элемента «ИЛИ»
(логическое сложение, +, дизъюнкция)
Таблица
истинности операции (элемента)
«ИЛИ»
|
a |
b |
a V b |
|
0 |
0 |
0 |
|
0 |
1 |
1 |
|
1 |
0 |
1 |
|
1 |
1 |
1 |
Схема
элемента «Следование» (импликация)
Таблица
истинности операции Следование (импликация)
|
A |
B |
A =>B |
|
0 |
0 |
1 |
|
0 |
1 |
1 |
|
1 |
0 |
0 |
|
1 |
1 |
1 |
Пример: Если в субботу
приедет бабушка, то мы устроим праздник.
Схема
элемента «эквивалентность»
(ó, Ξ )
Таблица
истинности операции (элемента)
«эквивалентность»
|
A |
B |
A ó B |
|
0 |
0 |
1 |
|
0 |
1 |
0 |
|
1 |
0 |
0 |
|
1 |
1 |
1 |
Пример:
в результате деления получается ноль тогда
и только тогда, когда делимое равно нулю.