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

Диз'юнктивна досконала нормальна форма (ДСНФ)

Диз'юнктивна нормальна форма (ДНФ)

Аналітична запис ФАЛ

Вираз одних елементарних функцій через інші

Розглянемо методи переходу від табличного способу завдання функцій до аналітичного методу (у вигляді формул).

кон'юнкція називається елементарної, Якщо в ній кожна змінна зустрічається не більше одного разу.

Диз'юнкція елементарних кон'юнкція називається діз'юнктівной нормальною формою (ДНФ).

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

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

Алгоритм переходу від табличного завдання функції до ДСНФ

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

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

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


Алгоритм знаходження фіктивних аргументів «-- попередня | наступна --» Алгоритм побудови кон'юнктівной досконалої нормальної форми
загрузка...
© om.net.ua