Логические операции и таблицы истинности
A |
B |
F |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
F = A & B.
Логическое умножение КОНЪЮНКЦИЯ
- это новое сложное выражение будет истинным только тогда, когда
истинны оба исходных простых выражения. Конъюнкция определяет соединение
двух логических выражений с помощью союза И.
A |
B |
F |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
F = A + B
Логическое сложение – ДИЗЪЮНКЦИЯ
- это новое сложное выражение будет истинным тогда и только тогда,
когда истинно хотя бы одно из исходных (простых) выражений. Дизъюнкция
определяет соединение двух логических выражений с помощью союза ИЛИ
Логическое отрицание : ИНВЕРСИЯ - если
исходное выражение истинно, то результат отрицания будет ложным, и
наоборот, если исходное выражение ложно, то результат отрицания будет
истинным/ Данная операция означает, что к исходному логическому
выражению добавляется частица НЕ или слова НЕВЕРНО, ЧТО
A |
B |
F |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
Логическое следование: ИМПЛИКАЦИЯ
- связывает два простых логических выражения, из которых первое
является условием (А), а второе (В)– следствием из этого условия.
Результатом ИМПЛИКАЦИИ является ЛОЖЬ только тогда, когда условие А
истинно, а следствие В ложно. Обозначается символом "следовательно" и выражается словами ЕСЛИ … , ТО …
A |
B |
F |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
Логическая равнозначность: ЭКВИВАЛЕНТНОСТЬ
- определяет результат сравнения двух простых логических выражений А и
В. Результатом ЭКВИВАЛЕНТНОСТИ является новое логическое выражение,
которое будет истинным тогда и только тогда, когда оба исходных
выражения одновременно истинны или ложны. Обозначается символом
"эквивалентности"
|