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