Основные законы алгебры логики
Закон |
Для ИЛИ |
Для И |
Переместительный |
|
|
Сочетательный |
|
|
Распределительный |
|
|
Правила де Моргана |
|
|
Идемпотенции |
|
|
Поглощения |
|
|
Склеивания |
|
|
Операция переменной с ее инверсией |
|
|
Операция с константами |
|
|
Двойного отрицания |
|
|
20. Конъюнкция
Конъюнкция: соответствует союзу: «и», обозначается знаком^, обозначает логическое умножение.
Конъюнкция двух логических ~ истинна тогда и только тогда , когда оба высказываний истинны. Можно обобщить для любого количества переменных А^В^С = 1 если А=1, В=1, С=1.
А |
В |
А^B |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
21.
Дизъюнкция
Логическая операция соответствует союзу ИЛИ, обозначается знаком v, иначе называется ЛОГИЧЕСКОЕ СЛОЖЕНИЕ. Дизъюнкция двух логических переменных ложна тогда и галька тогда, когда оба высказывавия ложны.
Это определение можно обобщить для любого количества логических переменных, объединенных дизъюнкцией.
A v В v С = 0, только если А = О, В = О, С - 0.
Таблица истинности дизъюнкции имеет следующий вид:
А |
В |
А v B |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
22, Операция не — логическое отрицание (инверсия)
Логическая операция НЕ применяется к одному аргументу, в качестве которого может быть и простое, и сложное логическое выражение. Результатом операции НЕ является следующее:
• если исходное выражение истинно, то результат его отрицания будет ложным;
• если исходное выражение ложно, то результат его отрицания будет истинным.
Для операции отрицания НЕ приняты следующие условные обозначения:
не А, Ā, not A, ¬А.
Результат операции отрицания НЕ определяется следующей таблицей истинности:
A |
не А |
0 |
1 |
1 |
0 |
Результат операции отрицания истинен, когда исходное высказывание ложно, и наоборот.
Приведем примеры отрицания.
1. Высказывание «Земля вращается вокруг Солнца» истинно. Высказывание «Земля не вращается вокруг Солнца» ложно.
2. Высказывание «Уравнение у = 4х + 3 в промежутке -2 < х < 2 не имеет корня» ложно. Высказывание «Уравнение у = 4х + 3 в промежутке -2 < х < 2 имеет корень» истинно.
3. Высказывание «4 — простое число» ложно. Высказывание «4 — не простое число» истинно.
Принцип работы переключателя настольной лампы таков: если лампа горела, переключатель выключает ее, если лампа не горела — включает ее. Такой переключатель можно счи¬тать электрическим аналогом операции отрицания.