Способы задания КЦУ

1. Табличный. Правила работы задаются таблицей истинности. При этом в случае частично определенного КЦУ строки раздела «Выходной набор» таблицы, соответствующие безразличным входным наборам, заполняются символом тильда (рис. 11). Однако при большом значении n таблица истинности становится громоздкой и теряет наглядность.

2. Скобочная запись таблицы истинности.

В случае полностью определенного КЦУ для каждого разряда выходного набора в круглых (квадратных) скобках через запятую перечисляются десятичные номера входных наборов, на которых значение этого разряда обращается в 0 (1).

Например, запись у_i(n = 4) = [1, 8, 15] означает, что i-й разряд выходных наборов имеет значение 1 на первом, восьмом и пятнадцатом n-разрядных входных наборах. Следовательно, на остальных (2⁴ – 3 = 13) не указанных наборах, этот разряд имеет значение 0.

В случае частично определенного КЦУ используются оба вида скобок, что позволяет не указывать безразличные входные наборы.

Например, запись у_i(n = 4) = [1, 8, 15, (0, 6)] = (0, 6, [1, 8, 15]) означает, что i-й разряд выходных наборов принимает значение 1 на первом, восьмом и пятнадцатом входных наборах, значение 0 – на нулевом и шестом, и его значение безразлично на остальных (2⁴ – 5 = 11) не указанных входных наборах.

3. Аналитический. Правила работы КЦУ задаются системой ФАЛ, каждая из которых соответствует определенному выходу КЦУ и записывается на основании таблицы истинности или ее скобочного представления в любой из двух совершенных форм – дизъюнктивной (СДНФ) или конъюнктивной (СКНФ).

Правила записи ФАЛ в совершенной форме:

- ФАЛ в СДНФ (СКНФ) представляется дизъюнкцией (конъюнкцией) своих членов, каждый из которых соответствует единственному и строго определенному входному набору, обращающего данную функцию в 1 (0) или соответствующего безразличному ее значению;

- каждый член функции в СДНФ (СКНФ) образуется конъюнкцией (дизъюнкцией) всех аргументов, которые берутся с инверсией при нулевом (единичном) значении в данном входном наборе и без инверсии – при единичном (нулевом). Таким образом, каждый член функции в СДНФ (СКНФ) является функцией конституанты 1 (0).