Зарипова, Э.Р. Дискретная математика Часть II. Математическая логика

34 Пример 7.1. По алгоритму Куайна и Мак-Клоски минимизировать функцию. (Пусть получили следующие импликанты, таблица 7.2). Таблица 7.2. 0000 0100 1000 0011 0101 0110 1010 1011 0111 01--     0- 00   - 000   101 -   - 011   0- 11   Выделив ядро, и определив все элементарные конъюнкции, покрываемые им, придем к следующей таблице 7.3. Таблица 7.3. 0011 0-00 -011  0-11  Элементарная конъюнкция 0011 покрывается любым из импликантов –011 и 0–11. 0–00 – лишний импликант. Следовательно, получаем два неизбыточных выражения ( , , , ) , f x y z t xy yzt xyz yzt     ( , , , ) , f x y z t xy yzt xyz xzt     минимальных по любому из определений.