Фрагменты какого-то из пособий. Это нужно переписать ручками в конспект.

Для проверки правильности минимизации можно использовать freeware программу Carno Minimizer, которая предназначена для минимизации логических функций методом карт Карно и Диаграм Вейча. Программа позволяет минимизировать функции, содержащие до 8 переменных. 

В ходе практического занятия придется проверять правильность минимизации булевой функции по крайней мере двумя методами. Заготовка пригодится, чтобы сэкономить время.