logo
Methodics_1

1.3.1 Табличное описание булевых функций

Вследствие конечности множества наборов заданного количества логических переменных, простейшим и самым естественным способом описания ФАЛ является табличный. Пример описания трёх ФАЛ четырёх переменных представлен в таблице 3. Все наборы переменных в таблице упорядочены по возрастанию числового двоичного кода этих наборов. Коды наборов могут быть представлены в восьмеричной, шестнадцатиричной или даже десятиричной (что нежелательно) системе счисления.

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

Для примера выбраны функции (система функций):

- конституента 1 (F12);

- конституента 014);

- функция общего вида (F).

В таблице 3 конституенты 1 обозначаются Fj , где j - восьмеричный код набора переменных, на котором конституента равна 1, конституенты 0 обозначаются Фp , где p - восьмеричный код набора переменных, на котором конституента равна 0. Общее количество конституент 1 и общее количество конституент 0 равны по 2n , где n - количество булевых переменных в наборе. Табличное описание ФАЛ и систем ФАЛ является простым и наглядным, однако весьма громоздким для практического использования.