Логические основы работы ЭВМ 1.Высказывания, логические функции и алгебра логики 2. Описание логических функций 3. Логические выражения 4. Преобразование. - презентация

1 Логические основы работы ЭВМ 1.Высказывания, логические функции и алгебра логики 2. Описание логических функций 3. Логические выражения 4. Преобразование таблицы истинности в аналитическую запись

2 Понятие логической функции Функция Y(x 0,x 1,…,x n ) является логической, если ее аргументы и она сама принимают только одно из двух значений: истина или ложь. Значение истина принято кодировать как 1, а значение ложь - как 0.

3 Аксиомы алгебры логики

4 Основные функции логическое отрицание (инверсия), умножение (конъюнкция), сложение (дизъюнкция), отрицание конъюнкции (штрих Шеффера), отрицание дизъюнкции (стрелка Пирса), равнозначность, сложение по модулю 2 (исключающее ИЛИ, отрицание равнозначности), импликация (следствие )

5 Двуместные функции

6 Пример описание логической функции в графической форме

7 Базис И-ИЛИ-НЕ

8 Законы алгебры логики

9 Переместительный (коммутативный)

10 Сочетательный (ассоциативный)

11 Распределительный (дистрибутивный)

12 Двойственности(де Моргана)

13 Двойного отрицания

14 Поглощения

15 Склеивания

16 Исключения третьего

17 Закон противоречия

18 Свойства логических операций

19 Пример минимизации логической функции

20 СДНФ

21 Пример преобразования по методу СДНФ

22 Правило получения СДНФ по таблице истинности

23 СКНФ

24 Пример преобразования по методу СКНФ

25 Правило получение СКНФ по таблице истинности