Логические переменные
Логическое умножение (конъюнкция)
Логическое сложение (дизъюнкция)
Логическое отрицание (инверсия)
Практическое задание «Таблицы истинности»
Контрольные вопросы. Задания. Компьютерный практикум
Простые высказывания в алгебре логики обозначаются прописными латинскими буквами. Высказывания, как уже говорилось ранее, могут быть истинными или ложными. Истинному высказыванию соответствует значение логической переменной 1, а ложному - значение 0.
В алгебре логики высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения: «истина» (1) и «ложь» (0).
Рассмотрим два простых высказывания:
А — «Два умножить на два равно четырем».
В — «Два умножить на два равно пяти».
Первое высказывание истинно (А — 1), а второе ложно (В = 0).
Составные высказывания на естественном языке образуются с помощью связок «и», «или», «не», которые в алгебре логики заменяются на логические операции. Логические операции задаются таблицами истинности.
Следующая страница Логическое умножение (конъюнкция)