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

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

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

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

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

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

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

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

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

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

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

Дата добавления: 2014-01-07