Рефлексивные представления.
Андрюхин A.И.
Андрюхин A.И. Рефлексивные представления. Целью исследования является применение рефлексивных моделей несовместных фактов, описываемых булевыми уравнениями от конечного числа переменных. Представлены все несовместные системы булевых уравнений от двух переменных. Построены все несовместные системы булевых уравнений от трех переменных. Приведены все возможные рефлексивные представления несовместных системы булевых уравнений от двух переменных. Построены все возможные рефлексивные представления несовместных системы булевых уравнений от трех переменных. Приведены результаты компьютерных расчетов. В расчетах использовался пакет Mathematica.
