Лекция: Функция следования А®В, или импликация
Для функции импликации из лжи следует все что угодно, а из истины только истина.
А | В | А®В |
Выражение для импликации в виде А®В = Ø А+В полностью соответствует таблицеистинности.
Сводная таблица истинности
A | B | Not A | A and B | A or B |
T | T | F | T | T |
T | F | F | F | T |
F | F | T | F | F |
F | T | T | F | T |
Правила записи и вычисления логических выражений
Операции отношения имеют самый низкий приоритет. Поэтому если операндами логической операции являются отношения, то их следует заключать в круглые скобки. Например, математическому неравенству 1 <= x <= 50 соответствует следующее логическое выражение: (x >= 1) And (x <= 50). Простые высказывания являются аргументами. Составленные из этих простых высказываний сложные, являются функциями этих аргументов.
Контрольные вопросы
- Что такое математическая логика?
- Каким образом математическая логика связана с теорией проектирования ЭВМ?
- Какие значения может принимать логическая функция?
- Из чего состоят сложные высказывания?
- Назвать логические функции.
- Что такое таблица истинности? Описать сводную таблицу истинности.
- Сформулировать правила записи и вычисления логических выражений.
Упражнения
еще рефераты
Еще работы по информатике