2.2.4. Принцип двойственности

Если , т. е. представляется в виде формулы (композиции) F через другие функции , то , т. е. двойственная функция представляется в виде такой же формулы через двойственные функции .

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

Например, если , то . Или другой пример: из закона де Моргана , взяв двойственные функции от обеих частей равенства (что чрезвычайно легко сделать, используя принцип двойственности), получаем другой закон де Моргана: .

< Предыдущая		Следующая >