logo search
Ekz_put_vidpovidi_vse

Поясніть, що таке мінімізація функції алгебри логіки за методом безпосередніх перетворень.

Безпосереднє спрощення скінченної логічної функції у вигляді ДДНФ виконують у такому порядку:

1. Для кожної із можливих пар сусідніх конституентів ДДНФ застосовують операцію повного склеювання. При цьому з них виключають по одній змінній. Потім виконують зведення подібних членів. Цей процес повторюють доти, доки в здобутому виразі не буде більше кон'юнкцій, що відрізняються одна від одної значенням однієї змінної. Отриману в такий спосіб форму називають скороченою нормальною формою. Кон'юнкції, що входять у скорочену нормальну форму, називають простими імплікантами. 2. Застосовуючи до скороченої нормальної форми операцію узагальненого склеювання, виключають із неї зайві кон'юнкції. Отриману в результаті послідовного ряду таких перетворень форму, що не допускає подальших склеювань, називають тупиковою формою логічної функції.

3. Отримана тупикова форма може випадково виявитися мінімальною, тобто форма мінімальної довжини. Для скінченної функції у вигляді ДКНФ мінімізацію за методом безпосереднього спрощення виконують у такий спосіб: спочатку до членів ДКНФ застосовують операцію повного склеювання. Користуючись законом дистрибутивності, розкривають дужки в здобутому виразі. Зводять подібні члени і застосовують операцію поглинання. Отриману ДНФ мінімізують у зазначеному вище порядку.