ДВОЙСТВЕННОСТИ ЗАКОН, принцип двойственности
— утверждение, относящееся к формулам алгебры логики, гласящее, что, если две формулы

эквивалентны, то и двойственные им формулы 31 и 58 также эквивалентны. Понятие двойственности относится к ф-лам, в которых из логических операций встречаются только операции конъюнкции, дизъюнкции и отрицания.

двойственной

если она получена из

заменой в ней везде операции конъюнкции на дизъюнкцию и дизъюнкции на конъюнкцию.