Презентация по информатики на тему Алгебра логики

Алгебра логики. Основные логические операции.

Логические значения ≪истина≫ и ≪ложь≫ могут обозначаться иначе:

Благодаря этой рекламе сайт может продолжать свое существование, спасибо за просмотр.

ПРИМЕР 1

ПРИМЕР 2. ВНЕСЕМ ИХ В ТАБЛИЦУ ПРОВЕРИМ ИСТИННОСТЬ ВЫСКАЗЫВАНИЙ ДЛЯ КАЖДОГО ОТВЕТА

ЛОГИЧЕСКИЕ ОПЕРАЦИИ И ИХ ОБОЗНАЧЕНИЯ

ТАБЛИЦЫ ИСТИННОСТИ ЛОГИЧЕСКИХ ОПЕРАЦИЙ

СВОДНАЯ ТАБЛИЦА ИСТИННОСТИ ЛОГИЧЕСКИХ ОПЕРАЦИЙ

ПРИМЕР РАЗЛИЧНЫХ ФУНКЦИЙ

ОПЕРАЦИИ ИМПЛИКАЦИИ, ИСКЛЮЧАЮЩЕГО ИЛИ, ЭКВИВАЛЕНЦИИ МОЖНО ВЫРАЗИТЬ ЧЕРЕЗ ОТРИЦАНИЕ, КОНЪЮНКЦИЮ И ДИЗЪЮНКЦИЮ ПО ФОРМУЛАМ:

ДЛЯ ПРОВЕРКИ РАВНОСИЛЬНОСТИ ВЫРАЖЕНИЙ А → В И ￢А ∨ В ПОСТРОИМ ТАБЛИЦУ ИСТИННОСТИ ВЫРАЖЕНИЯ ￢А ∨ В.

ПОСТРОИМ ТАБЛИЦУ ИСТИННОСТИ ДЛЯ ВЫРАЖЕНИЯ ￢А ∧ В ∨ А ∧ ￢В, ЧТОБЫ УБЕДИТЬСЯ В ТОМ, ЧТО ОНО РАВНОСИЛЬНО СТРОГОЙ ДИЗЪЮНКЦИИ (ИСКЛЮЧАЮЩЕМУ ИЛИ) А ⊕ В.

ПОРЯДОК ВЫПОЛНЕНИЯ ОПЕРАЦИЙ: ОТРИЦАНИЕ В, ОТРИЦАНИЕ С, ЛОГИЧЕСКОЕ УМНОЖЕНИЕ, ЛОГИЧЕСКОЕ СЛОЖЕНИЕ.

ЗАПИШЕМ УСЛОВИЕ С ИСПОЛЬЗОВАНИЕМ ОБОЗНАЧЕНИЙ И ПОСТРОИМ ТАБЛИЦУ ИСТИННОСТИ ДЛЯ КАЖДОГО ВАРИАНТА ОТВЕТА С УЧЕТОМ ПРАВИЛ ОЧЕРЕДНОСТИ ВЫПОЛНЕНИЯ ОПЕРАЦИЙ. ￢(А ∧ (В → С))

ОСНОВНЫЕ ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ

ПРИМЕР 6

ПРИМЕР 8