Выводы
• Формализация — это переход от конкретного содержания высказываний к записи с помощью формального языка.
• В логических выражениях операции выполняются в следующем порядке:
1) действия в скобках;
2) отрицание (НЕ);
3) логическое умножение (И), слева направо;
4) логическое сложение (ИЛИ), слева направо.
Для изменения порядка действий используются скобки.
• Таблица истинности логического выражения показывает, чему равно значение выражения при всех возможных комбинациях значений исходных переменных.
• Логические выражения, истинность которых зависит от значений исходных переменных, называют вычислимыми.
• Логическое выражение, которое всегда истинно, называется тождественно истинным или тавтологией. Выражение, которое всегда ложно, называют тождественно ложным или противоречием. Пример тождественно истинного выражения: А + А, пример тождественно ложного: А • А.
• Два выражения, принимающие одинаковые значения при всех значениях переменных, называются равносильными или тождественно равными. Равносильные выражения определяют одну и ту же логическую функцию.
Нарисуйте в тетради интеллект-карту этого параграфа.
Следующая страница Вопросы и задания