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

 

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

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

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

- конституента 1 (F₁₂);

- конституента 0 (Ф₁₄);

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

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