Изменения
→Задача о минимизации контактной схемы
Один из путей решения этой задачи состоит в следующем:
* Осуществляем переход от контактной схемы <tex>S</tex> к её булевой функции <tex>F(S)</tex>.
* Упрощаем <tex>F(S)</tex>, то есть отыскиваем функцию <tex>G</tex> (на том же базисе, что и <tex>F(S)</tex>), равносильную <tex>F(S)</tex> и содержащую меньше вхождений операций дизъюнкции и конъюнкции. Для этого используем основные законы алгебры логикиэтой операции удобно использовать [http: сочетательный и распределительный закон, правило де Моргана, правило операции переменной с её инверсией и др//ru.wikipedia.org/wiki/%D0%9A%D0%B0%D1%80%D1%82%D0%B0_%D0%9A%D0%B0%D1%80%D0%BD%D0%BE карты Карно].
* Строим схему <tex>T</tex>, реализующую функцию <tex>G</tex>.