Изменения
→Задача о минимизации контактной схемы
Один из путей решения этой задачи состоит в следующем:
* Осуществляем переход от контактной схемы <tex>S</tex> к её булевой функции <tex>F(S)</tex>.
* Упрощаем <tex>F(S)</tex>, то есть отыскиваем функцию <tex>G</tex> (на том же базисе, что и <tex>F(S)</tex>), равносильную <tex>F(S)</tex> и содержащую меньше вхождений операций дизъюнкции и конъюнкции. Для этого используем основные законы алгебры логики: сочетательный и распределительный закон, правило де Моргана, правило операции переменной с её инверсией и др.
* Строим схему <tex>T</tex>, реализующую функцию <tex>G</tex>.
