Вступ
Лекція має за мету дати базові методи мінімізації систем булевих функцій. Розглянуто основні визначення, зокрема нове поняття ярлика кон’юнкції, показана необхідність спільної мінімізації. Наведено точний метод мінімізації Барті-Полянського, що узагальнює метод Квайна-МакКласки й інтуїтивний метод спрощення за матричною формою. Звернено увагу на особливості застосування одного й іншого методів.
У лекції присутні чотири підрозділи:
31.1. Основні визначення
31.2. Використання системи булевих функцій для синтезу КС
31.3. Точний метод Барті-Полянського мінімізації систем булевих функцій
31.4. Інтуїтивний метод спрощення системи ДНФ за матричною формою