Алгоритм нахождения фиктивных аргументов

Для нахождения фиктивных аргументов необходимо задать ФАЛ таблично:

1) Разбить множество наборов аргументов ФАЛ на 2 подмножества: 1-е подмножество, на котором функция принимает значение 0, и 2-е подмножество, где функция принимает значение 1, соответственно множества Т₀ и Т₁.

2) Для проверки фиктивности аргумента x_i вычеркиваем столбец, который ему соответствует, и проверяем, не появились ли в двух подмножествах одинаковые наборы. Если такие наборы не появились, то x_i является фиктивным.

Законы булевой алгебры
Коммутативность Ассоциативность Дистрибутивность Идемпотентность Закон отрицания отрицания Закон исключающего третьего Закон противоречия	Свойства констант Законы де Моргана Законы поглощения Правила склеивания Обобщенное склеивание Правило вычеркивания
Свойства ¯,÷, Å, ®
Свойства импликации   Свойства Å	Свойства функций Шеффера и стрелки Пирса       Функции ¯ и ô связаны соотношениями аналогичными формулам де Моргана