Оцените презентацию от 1 до 5 баллов!
Тип файла:
ppt / pptx (powerpoint)
Всего слайдов:
32 слайда
Для класса:
1,2,3,4,5,6,7,8,9,10,11
Размер файла:
274.50 kB
Просмотров:
67
Скачиваний:
0
Автор:
неизвестен
Слайды и текст к этой презентации:
№1 слайд
№2 слайд
Содержание слайда: Основы теории логических преобразований
Математическая логика
Логические операции и элементы
Преобразование логических выражений
№3 слайд
№4 слайд
№5 слайд
Содержание слайда: Основные понятия
Высказывание
Простое и сложное высказывание
№6 слайд
№7 слайд
№8 слайд
№9 слайд
№10 слайд
Содержание слайда: Строгая дизъюнкция
№11 слайд
№12 слайд
№13 слайд
№14 слайд
№15 слайд
№16 слайд
№17 слайд
Содержание слайда: Логические элементы в EW
№18 слайд
Содержание слайда: Логические функции
Логической (булевой) функцией называют функцию Y=f(Х1, Х2 ..., Хn), аргументы которой Х1, Х2 ..., Хn (независимые переменные) и сама функция (зависимая переменная) принимают значения 0 или 1.
Логические функции могут быть заданы табличным способом или аналитически — в виде соответствующих формул.
Таблицу, показывающую, какие значения принимает логическая функция при всех сочетаниях значений ее аргументов, называют таблицей истинности. Таблица истинности логической функции п аргументов содержит 2n строк, п столбцов значений аргументов и 1 столбец значений функции.
Одной переменной Y= f (X)
№19 слайд
Содержание слайда: СНДФ и СКНФ
Если логическая функция представлена дизъюнкцией, конъюнкцией и инверсией, то такая форма представления называется НОРМАЛЬНОЙ.
Элементарная конъюнкция — конъюнкция конечного множества логических переменных и их инверсий.
Элементарная дизъюнкция — дизъюнкция конечного множества логических переменных и их инверсий.
Число аргументов, образующих элементарную дизъюнкцию или конъюнкцию, называется ее рангом.
Пример 1. Х1 *X2*X3 , Х1* X2* X3 — элементарные конъюнкции третьего ранга. X1+ X2, Х1+X2— элементарные дизъюнкции второго ранга.
Дизъюнктивная нормальная форма (ДНФ) содержит элементарные конъюнкции, связанные между собой операцией дизъюнкции.
Конъюнктивная нормальная форма (КНФ) содержит элементарные дизъюнкции, связанные между собой операцией конъюнкции.
Одну и ту же логическую функцию можно представить разными ДНФ и КНФ.
Для исключения неоднозначности записи логические функции могут быть представлены в совершенных дизъюнктивной и конъюнктивной нормальных формах.
№20 слайд
Содержание слайда: Совершенная дизъюнктивная нормальная форма (СДНФ)отвечает следующим требованиям:
Совершенная дизъюнктивная нормальная форма (СДНФ)отвечает следующим требованиям:
1) в ней нет двух одинаковых элементарных конъюнкций;
2) ни одна элементарная конъюнкция не содержит двух одинаковых переменных;
3) ни одна элементарная конъюнкция не содержит переменную вместе с ее инверсией;
4) все конъюнкции имеют один и тот же ранг.
Аналогичным требованиям подчиняется и совершенная конъюнктивная нормальная форма (СКНФ).
Пример 2. Если логическая функция содержит конъюнкции разных рангов, то для получения СДНФ следует повысить ранг младших конъюнкций, используя закон исключения третьего(A+A=1).
F(X,Y,Z)= (X* Y) +(X*Y*Z) = (X*Y)* (Z+Z) +(X*Y*Z) =
№21 слайд
№22 слайд
Содержание слайда: Алгоритм образования СДНФ по таблице истинности.
Алгоритм образования СДНФ по таблице истинности.
1. Выделить в таблице истинности все наборы переменных, на которых функция принимает единичные значения.
2. Для каждого выбранного набора записать элементарные конъюнкции, содержащие без инверсии переменные, принимающие в соответствующем наборе значение 1 и с инверсией — переменные, принимающие значение 0.
3. Соединить элементарные конъюнкции знаком дизъюнкции.
Алгоритм образования СКНФ по таблице истинности.
1. Выделить в таблице истинности все наборы переменных, на которых функция принимает нулевые значения.
2. Для каждого выбранного набора записать элементарные дизъюнкции. содержащие без инверсии переменные, принимающие в соответствующем наборе значение 0 и с инверсией — переменные, принимающие значение 1.
3. Соединить элементарные дизъюнкции знаком конъюнкции.
№23 слайд
№24 слайд
Содержание слайда: Пример3
№25 слайд
Содержание слайда: Минимизация логических функций
№26 слайд
Содержание слайда: Основные законы логики
№27 слайд
Содержание слайда: Основные законы логики
№28 слайд
№29 слайд
№30 слайд
№31 слайд
№32 слайд