Представление логической функции в виде СДНФ и СКНФ

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

- где f функция 3х переменных.

Логическая функция дизъюнктивной нормальной формы (ДНФ): - форма представления дизъюнктивной функции, в которой инверсия применяется лишь непосредственно к аргументам (переменным), но не к более сложным функциям от этих аргументов.

- где f функция 3х переменных.

Логическая функция совершенной дизъюнктивной нормальной формы (СДНФ): - если каждый член дизъюнктивной нормальной функции от n аргументов содержит все эти n аргументы, часть из которых входит в него с инверсией, а часть без нее.

- где f функция 3х переменных.

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

- где f функция 3х переменных.

Логическая функция конъюнктивной нормальной формы (КНФ): - форма представления конъюнктивной функции, в которой инверсия применяется лишь непосредственно к аргументам (переменным), но не к более сложным функциям от этих аргументов.

- где f функция трех переменных.

Логическая функция совершенной конъюнктивной нормальной формы (СКНФ): - если каждый член конъюнктивной нормальной функции от n аргументов содержит все эти n аргументы, часть из которых входит в него с инверсией, а часть без нее.

- где f функция 3х переменных.