Формы логических функций

1.Элементарной конъюнкцией называется логическое произведение нескольких переменных и их отрицаний, причем, каждая переменна в произведении присутствует только один раз. Количество переменных называют рангом элементарной конъюнкции.

Примеры: , .

2.Элементарной дизъюнкцией называется логическая сумма нескольких переменных и их отрицаний. Количество переменных называют рангом элементарной дизъюнкции.

Примеры: , .

3.Дизъюнктивной нормальной формой (ДНФ) называют дизъюнкцию элементарных конъюнкций. Пример .

4.Конъюнктивной нормальной формой (КНФ) называют конъюнкцию элементарных дизъюнкций. Пример .

5.Совершенной ДНФ (СДНФ) называют дизъюнкцию элементарных конъюнкций одинакового ранга, составленных из одних и тех же переменных.

Пример .

6.Совершенной конъюнктивной нормальной формой (СКНФ) называют конъюнкцию элементарных дизъюнкций одинакового ранга. Пример .

Переменные и их отрицания называют еще первичными термами, для которых использую обозначения

, где или 1.

или и .

Дата добавления: 2014-01-07