![](/user_photo/2706_HbeT2.jpg)
- •Практическая работа №4. Основы алгебры логики
- •2.1. Логическая информация и основы логики
- •2.1.1. Высказывания
- •2.1.2. Логические величины, операции, выражения
- •Логические операции.
- •Пример 3.
- •2.1.3. Логические схемы и логические выражения
- •2.1.4. Импликация и эквивалентность
- •2.1.5. Преобразование логических выражений
- •Индивидуальные задания
Практическая работа №4. Основы алгебры логики
2.1. Логическая информация и основы логики
2.1.1. Высказывания
Высказывание (суждение) — это повествовательное предложение, в котором что-либо утверждается или отрицается. По поводу любого высказывания можно сказать истинно оно или ложно.
Высказывания бывают общими, частными или единичными. Общее высказывание начинается (или можно начать) со слов: все, всякий, каждый, ни один. Частное высказывание начинается (или можно начать) со слов: некоторые, большинство и т. п. Во всех других случаях высказывание является единичным.
Пример 1. Определить значения истинности для следующих высказываний.
«Лед — твердое состояние воды». Ответ: истинное высказывание.
«Треугольник — это геометрическая фигура». Ответ: истинное высказывание.
«Париж — столица Китая». Ответ: ложное высказывание.
Пример 2. Определить тип высказывания (общее, частное, единичное).
«Все рыбы умеют плавать». Ответ: общее высказывание.
«Некоторые медведи — бурые». Ответ: частное высказывание.
«Буква А — гласная». Ответ: единичное высказывание.
2.1.2. Логические величины, операции, выражения
Логические величины: понятия, выражаемые словами: ИСТИНА, ЛОЖЬ (true , false). Следовательно, истинность высказываний выражается через логические величины.
Логическая константа: ИСТИНА или ЛОЖЬ.
Логическая переменная: символически обозначенная логическая величина. Следовательно, если известно, что А, В, Х, Y и пр. — переменные логические величины, то это значит, что они могут принимать значения только ИСТИНА или ЛОЖЬ.
Логическое выражение — простое или сложное высказывание. Сложное высказывание строится из простых с помощью логических операций (связок).
Логические операции.
Конъюнкция
(логическое умножение). В русском языке
она выражается союзом И. В математической
логике используются знаки &, ∙, или
.
Конъюнкция — двухместная операция;
записывается в виде: А
В.
Значение такого выражения будет ЛОЖЬ,
если значение хотя бы одного из операндов
ложно.
Дизъюнкция
(логическое сложение). В русском языке
этой связке соответствуют союз ИЛИ. В
математической логике она обозначается
знаком
.
Дизъюнкция
— двухместная операция; записывается
в виде; А
В.
Значение такого выражения будет ИСТИНА,
если значение хотя бы одного из операндов
истинно.
Отрицание.
В русском языке этой связке соответствует
частица НЕ (в некоторых высказываниях
применяется оборот «неверно, что...»).
Отрицание — унарная (одноместная)
операция; записывается в виде: ¬А
или
.
Логическая формула (логическое выражение) — формула, содержащая лишь логические величины и знаки логических операций. Результатом вычисления логической формулы является ИСТИНА или ЛОЖЬ.
Пример 3.
А) Рассмотрим сложное высказывание: «Число 6 делится на 2, и число 6 делится на 3». Представить данное высказывание в виде логической формулы.
Обозначим через А простое высказывание «число 6 делится на 2», а через В простое высказывание «число 6 делится на 3». Тогда соответствующая логическая формула имеет вид: А & В. Очевидно, ее значение — ИСТИНА.
Б) Рассмотрим сложное высказывание: «Летом я поеду в деревню или в туристическую поездку».
Обозначим через
А
простое высказывание «летом я поеду в
деревню», а через В
— простое высказывание «летом я
поеду в туристическую поездку». Тогда
логическая форма сложного высказывания
имеет вид АВ.
В) Рассмотрим высказывание: «Неверно, что 4 делится на 3».
Обозначим через А простое высказывание «4 делится на 3». Тогда логическая форма отрицания этого высказывания имеет вид ¬А.
Правила выполнения рассмотренных логических операций отражены в следующей таблице, которая называется таблицей истинности.
|
А |
В |
не А |
А и В |
А или В |
1 |
и |
и |
л |
и |
и |
2 |
и |
л |
л |
л |
и |
3 |
л |
и |
и |
л |
и |
4 |
л |
л |
и |
л |
л |
Последовательность выполнения операций в логических формулах определяется старшинством операций. В порядке убывания старшинства, логические операции расположены так: отрицание, конъюнкция, дизъюнкция. Кроме того, на порядок операции влияют скобки, которые можно использовать в логических формулах.
Например: (А и В) или (не А и В) или (не А и не В).
Пример 4. Вычислить значение логической формулы: не Х и Y или Х и Z, если логические переменные имеют следующие значения: Х=ЛОЖЬ, Y=ИСТИНА, Z=ИСТИНА.
Решение. Отметим цифрами сверху порядок выполнения операций в выражении:
1 2 4 3
не Х и У или Х и Z
Используя таблицу истинности, вычислим формулу по шагам:
-
не ЛОЖЬ = ИСТИНА;
-
ИСТИНА и ИСТИНА = ИСТИНА;
-
ЛОЖЬ и ИСТИНА = ЛОЖЬ;
-
ИСТИНА или ЛОЖЬ = ИСТИНА
Ответ: ИСТИНА