Решение. 1-й шаг.Для заданной ФАЛ по одному из методов минимизации (например, карт Карно, глава1) находим МДНФ:

1-й шаг. Для заданной ФАЛ по одному из методов минимизации (например, карт Карно, глава1) находим МДНФ:

.

2-й шаг. Применяя к полученному на 1-м шаге выражению эквивалентные преобразования из соотношения (2-1), получаем:

Полученное выражение совпадает с решением в примере 2-4.

Замечание 2-1. Следует подчеркнуть, что и при втором подходе задача минимизации для монофункциональных базисов в общем виде пока также не нашла еще своего решения.

СПИСОК ЛИТЕРАТУРЫ

1. Акимов О.Е. Дискретная математика: логика, группы, графы. –М.: Лаборатория Базовых Знаний, 2003. -376с.

2. Белоусов А.И., Ткачев С.Б. Дискретная математика. –М.: Изд-во МГТУ им. Баумана, 2004. -744с.

3. Вавилов Е.Н, Портной Г.П. Синтез схем электронных цифровых машин. М.: Изд-во “Советское радио”, 1963. -440с.

4. Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной математике. –М.: Наука, 1977. -368с.

5. Глушков В.М. Синтез цифровых автоматов. –М., Физматгиз, 1962г., -476с.

6. Гиндикин С.Г. Алгебра логики в задачах. –М.: Наука, 1972. -288с.

7. Горбатов В.А., Горбатов А.В., Горбатова М.В. Дискретная математика: Учебник для студентов втузов. –М.: ООО”Изд-во АСТ”: ООО”Изд-во Астрель”, 2003. -447с.

8. Журавлев Ю.И. Алгоритмы построения минимальных дизъюнктивных нормальных форм для функций алгебры логики. Дискретная математика и математические вопросы кибернетики. т.1-М: Наука, 1974. –с. 67-98.

9. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. –М.: Наука, 1984. -240с.

10. Нефедов В.Н., Осипова В.А. Курс дискретной математики: Учеб. пособие. –М: Изд-во МАИ, 1992. -264с.

11. Поспелов Д.А. Логические методы анализа и синтеза схем. М.: Энергия, 1974.-228 с.

12. Рояк М.Э., Рояк С.Х. Математическая логика (метод. указания, часть 1). Новосибирск: Изд-во НГТУ, 1998. -61с.

13. Судоплатов С.В., Овчинникова Е.В. Дискретная математика: Учебник. –М.: ИНФРА-М; Новосибирск: Изд-во НГТУ, 2005. -256с.

14. Тихомирова Л.С. Методы минимизации булевых функций (методическая разработка). – Устинов: Изд-во УМИ, 1985. -36с.

15. Яблонский С.В. Введение в дискретную математику. –М.: Высш. шк., 2003. -384с.

16. Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. Функции алгебры логики и классы Поста. –М.: Наука, 1966. -119с.