<span>Предлагаю автоматический поиск и проверку логических функций
на Excel</span>
Копируя логические элементы собираем необходимую функцию,
строим таблицу, в листе СДНФ (жмем на ярлык внизу) находим СДНФ функции, затем
в листах 1 строим логическую схему и упрощаем, проверяем
F=¬(A&B)v¬(Bv¬C)
Упрощаем
<span>F =¬Av¬B</span>
Собираем схему проверяем
<span>
</span>
бесконечный цикл:
(л-о-з-в)
Можно сам алгоритм? Без данных не сказать...