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