Алгоритм графического нахождения исходных посылок

1. Найти СДНФ полной единицы системы М и построить сокращённую таблицу истинности для неё.
2. По сокращённой таблице истинности построить скалярные диаграммы, разбив интервал универсума на части, количество которых равно числу наборов в таблице истинности для М. Каждая часть универсума изображается соответствующим набором из таблицы истинности для М.
3. Из скалярных диаграмм выбрать (N - 1) логических функций от двух переменных, где N - число аргументов.

Алгоритм аналитического отыскания исходных посылок

1. По заданной полной единице системы построить N-1 посылок сорита как функций от двух переменных, заменяя на 1 все "лишние" переменные. Здесь N - число аргументов.
2. Проверить полученные результаты логическим перемножением посылок и сравнением с заданной полной единицей системы.