Решение одгой системы уравнений в булевских переменных Метод Отображений и техника таблиц перекрестных ссылок

Толчком для демонстрации гибкости МО в сочетании техникой перекрестных ссылок для двух или трехместных предикатов образующих саму систему послужили некоторые системы из числа последних, пополнивших ege23.doc. Здесь совершенно все равно какая логическая операция связывает предикаты уравнения . Мощности попарного пересечения множеств истинности и ложности каждого из двух предикатов, образуюших систему однозначно определяют саму таблицу перекрестных ссылок. Количество переменных от  которых зависит предикат ( от 2 до 4 ) также не приводит к необходимости писать код для алгоритма МО.

Оригинальная система

((x1=>x2)=>x3) v ((x4≡x5)≡x6)≡1
((x4=>x5)=>x6) v ((x7≡x8)≡x9)≡1
((x7=>x8)=>x9) v ((x10≡x11)≡x12)≡1

Генерация матрицы

    Контроль