Вопросы к Поиску с Алисой
Принцип двойственности в логике (также известный как закон двойственности или принцип дуальности) гласит: «если формулы А и В равносильны, то и двойственные им формулы равносильны». ru.ruwiki.ru ru.wikipedia.org
Двойственные формулы в алгебре логики — это такие формулы, которые получаются одна из другой путём замены в них каждого знака конъюнкции на знаки дизъюнкции и наоборот. ru.ruwiki.ru ru.wikipedia.org
Например, формулы ((А ∨ B ¯) ∧ С) и ((А ∧ B ¯) ∨ С) являются двойственными, где ∨ — связка «или» (знак дизъюнкции), ∧ — связка «и» (знак конъюнкции), «—» — знак отрицания, B ¯ — отрицание В, то есть не-В. ru.ruwiki.ru ru.wikipedia.org