Законы алгебры логики. Дизъюнкция: Конъюнкция:

Аксиомы

Дизъюнкция: Конъюнкция:

1.Комутативность (переместительный закон)

2.Ассоциативность (сочетательный закон)

3.Дистрибутивность (распределительный закон)

4.Поглощение

5.Склеивание

6.Замещение

7.Выявление

8.Отрицание (теорема Моргана)

Теорема Шеннона

1.2. Стандартные формы

Дизъюнктивная нормальная форма (ДНФ) – это сумма произведений, когда функция принимает значение единицы, при чем если 1 – без инверсии, если 0 – с инверсией.

Если в каждый минтерм входят все переменные, получаем совершенную конъюнктивную нормальную форму (СДНФ).

Конъюнктивная нормальная форма (КНФ) – произведение сумм, когда функция принимает значение нуля, при чем если 1 – с инверсией, если 0 – без инверсии.

Если в каждый макстерм входят все переменные, получаем совершенную конъюнктивную нормальную форму (СКНФ).

1.3. Минимизация логических функций

Метод карт Карно (диаграмм Вейча)

1.4. Реализация логических функций

1) НЕ ();

2) ИЛИ ( );

3) И ();

4) И-НЕ ();

5) ИЛИ-НЕ ();

6) ();

7) 2-2И-2ИЛИ-НЕ

8) ;

9) .

Дата добавления: 2015-05-09