29
правок
Изменения
→Задача о минимизации контактной схемы
Один из путей решения этой задачи состоит в следующем:
* Осуществляем переход от контактной схемы <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>.
