Табличное описание булевых функций
Вследствие конечности множества наборов заданного количества логических переменных, простейшим и самым естественным способом описания ФАЛ является табличный. Пример описания трёх ФАЛ четырёх переменных представлен в таблице 3. Все наборы переменных в таблице упорядочены по возрастанию числового двоичного кода этих наборов. Коды наборов могут быть представлены в восьмеричной, шестнадцатиричной или даже десятиричной (что нежелательно) системе счисления.
Одна ФАЛ описывается одной таблицей, но для функций одинакового количества переменных можно использовать в таблице общее поле наборов переменных и интерпретировать такую таблицу как описание системы булевых функций.
Для примера выбраны функции (система функций):
- конституента 1 (F12);
- конституента 0 (Ф14);
- функция общего вида (F).
В таблице 3 конституенты 1 обозначаются Fj , где j - восьмеричный код набора переменных, на котором конституента равна 1, конституенты 0 обозначаются Фp , где p - восьмеричный код набора переменных, на котором конституента равна 0. Общее количество конституент 1 и общее количество конституент 0 равны по 2n , где n - количество булевых переменных в наборе. Табличное описание ФАЛ и систем ФАЛ является простым и наглядным, однако весьма громоздким для практического использования.
Дата добавления: 2015-08-20; просмотров: 1104;