Условные приоритеты булевых функций

Каждая булева функция имеет свой приоритет при выполнении элементарных функций.

Таблица 3. Условные приоритеты булевых функций

1. ()

2. отрицание ()

3. & ½¯

4. Ú Å ® ≡

Замечание. В пределах одного приоритета операции в выражении выполняются слева направо.

Фиктивные аргументы ФАЛ

Две ФАЛ f₁(x₁, x₂, …, x_n) и f₂(x₁, x₂, …, x_n) называются равными, если они принимают одинаковые значения на всех возможных наборах аргументов.

ФАЛ называется существенно зависящей от аргумента x_i, если имеет место неравенство:

f₁(x₁, x₂, …, x_i-1, 0, x_i+1, …, x_n) ¹

¹ f₂(x₁, x₂, …, x_i-1, 1, x_i+1, …, x_n).

В противном случае говорят, что функция несущественно зависит от x_i, и x_i является ее фиктивным аргументом.

ФАЛ не изменится, если к ее аргументам приписать или вычеркнуть любое количество фиктивных аргументов.