Метод независимых фрагментов для построения линеаризованных структурированных граф-схем алгоритмов, реализующих системы булевых формул

Предлагается эффективный по трудоемкости аналитический метод реализации систем булевых формул линеаризованными структурированными граф- схемами алгоритмов, число вершин в которых равно числу букв в операторах структур, по которым строятся эти граф-схемы. Это позволяет за счет упрощения оператора минимизировать изоморфную ему граф-схему, что до сих пор удавалось делать лишь при реализации одиночных булевых формул параллельно-последовательными контактными схемами, излагается простой аналитический метод верификации таких граф-схем.