Уроки 63 - 73
§3.2. Алгебра логики
Содержание урока
3.2.1. Логическое умножение, сложение и отрицание
Логическое умножение (конъюнкция)
Логическое сложение (дизъюнкция)
Логическое отрицание (инверсия)
Практическое задание «Таблицы истинности»
Контрольные вопросы. Задания. Компьютерный практикум
3.2.2. Логические выражения
3.2.3. Логические функции
3.2.4. Логические законы и правила преобразования логических выражений
3.2.5. Решение логических задач
3.2.1. Логическое умножение, сложение и отрицание
Логическое отрицание (инверсия)
Присоединение частицы «не» к высказыванию называется операцией логического отрицания или инверсией.
Логическое отрицание (инверсия) получает из истинного высказывания ложное и, наоборот, из ложного — истинное.
Высказывание «Два умножить на два равно четырем» истинно, а высказывание, образованное с помощью операции логического отрицания, «Два умножить на два не равно четырем» — ложно.
Запишем теперь операцию логического отрицания на формальном языке алгебры логики. Операцию логического отрицания (инверсию) над логическим высказыванием А принято обозначать А. Операция логического отрицания, аргументом которой является логическая переменная А, записывается следующей формулой:
А (3.3)
Значение логической операции отрицания задается с помощью таблицы истинности (табл. 3.3). Результатом операции логического отрицания является «истина» (1), когда аргумент принимает значение «ложь» (0), и значение «ложь» (0) , когда аргумент принимает значение «истина» (1).
Таблица 3.3. Таблица истинности инверсии (логического отрицания)
Истинность высказывания, образованного с помощью операции логического отрицания, можно легко определить с помощью таблицы истинности. Например, высказывание «Два умножить на два не равно четырем» ложно (А = 0), а полученное из него в результате логического отрицания высказывание «Два умножить на два равно четырем» истинно (1).
Следующая страница 
Практическое задание «Таблицы истинности»
Cкачать материалы урока
