загрузка...
загрузка...
На головну

Алгоритм побудови кон'юнктівной досконалої нормальної форми

Кон'юнктивна досконала нормальна форма

Будь-яка таблично задана ФАЛ f (x1, x2, ..., Xn) (Крім тотожною одиниці) може бути представлена в наступному аналітичному вигляді:

Подання ФАЛ в такому вигляді називається кон'юнктівной досконалої нормальної формою цієї функції (КСНФ).

1. Вибрати в таблиці всі набори аргументів, на яких функція звертається в 0.

2. Виписати диз'юнкції, які відповідають цим наборам аргументів. При цьому, якщо аргумент xiвходить в даний набір як 0, він вписується без зміни в диз'юнкцію, яка відповідає певному набору. якщо xi входить в даний набір як 1, то в диз'юнкцію вписується його заперечення.

3. Отримані диз'юнкції з'єднати знаком кон'юнкція.

Диз'юнктивна досконала нормальна форма (ДСНФ) «-- попередня | наступна --» Постановка завдання і дослідження операції
загрузка...
© om.net.ua