Такое правило записи соответствует полностью определённому КЦУ.

Например, первую таблицу истинности можно заменить следующей записью: у(х₁,х₀) = f(1,2) или у(х₁,х₀) = f[0,3].

В случае не полностью определённого КЦУ используют оба вида скобок.Например, вторую таблицу истинности можно заменить следующей за-

писью: у(х₁,х₀) = f(1,[0,3]) или у(х₁,х₀) = f[0,3,(1)] ,
откуда следует, что на втором наборе значение выхода безразлично.

 

КЦУ может быть задано и аналитически в виде набора ФАЛ. Как правило, это сложные функции, состоящие из множества элементарных.

 

 

2.4. Аналитический способ задания КЦУ.

Аналитический способ заключается в описании закона функционирования КЦУ в виде ФАЛ. При этом ФАЛ наиболее часто записываются с помощью инверсии, дизъюнкции и конъюнкции.

 

Логические функции, представляющие собой дизъюнкции (конъюнкции) отдельных членов, каждый из которых содержит только конъюнкции (дизъюнкции) и инверсии, называются логическими функциями дизъюнктивной (конъюнктивной) формы.
Здесь и далее всё что в скобках относится к определению ФАЛ конъюнктивной формы.

Примеры записи ФАЛ от трёх аргументов:

в дизъюнктивной форме - у_ДФ = х₀х₁х₂ Ú х₀х₁,

в конъюнктивной форме - у_КФ = (х₀ Ú х₁ Ú х₂) Ù (х₀ Ú х₂).