загрузка...
загрузка...
На головну

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

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

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

2) Для перевірки фіктивності аргументу xi викреслюємо стовпець, який йому відповідає, і перевіряємо, чи не з'явилися в двох подмножествах однакові набори. Якщо такі набори не з'явились, то xi є фіктивним.

Умовні пріоритети булевих функцій «-- попередня | наступна --» Диз'юнктивна досконала нормальна форма (ДСНФ)
загрузка...
© om.net.ua