Для нахождения фиктивных аргументов необходимо задать ФАЛ таблично:
1) Разбить множество наборов аргументов ФАЛ на 2 подмножества: 1-е подмножество, на котором функция принимает значение 0, и 2-е подмножество, где функция принимает значение 1, соответственно множества Т0 и Т1.
2) Для проверки фиктивности аргумента xi вычеркиваем столбец, который ему соответствует, и проверяем, не появились ли в двух подмножествах одинаковые наборы. Если такие наборы не появились, то xi является фиктивным.
Например: Имеет ли функция 
фиктивные аргументы?
Решение
Множество Т0:
Множество Т1:
Если вычеркнуть x во множестве Т0 и Т1, то появятся одинаковые наборы. Следовательно, х не является фиктивным аргументом функции F(x,y,z). Аналогично для аргументов y и z.В результате, функция F(x,y,z) не имеет фиктивных аргументов.
| Законы булевой алгебры
|
Коммутативность
Ассоциативность
Дистрибутивность
Идемпотентность
Закон отрицания отрицания
 
Закон исключающего третьего
Закон противоречия
| Свойства констант
Законы де Моргана
Законы поглощения
Правила склеивания
Обобщенное склеивание
Правило вычеркивания
|
| Свойства ¯,÷, Å, ®
|
Свойства импликации
 
Свойства Å
| Свойства функций Шеффера и стрелки Пирса
 
Функции ¯ и ô связаны соотношениями аналогичными формулам де Моргана
|
