В чем заключается принцип двойственности в алгебре логики?

Принцип двойственности в алгебре логики заключается в том, что в булевых алгебрах существуют двойственные утверждения, которые либо одновременно верны, либо одновременно неверны. studfile.net

Если в формуле, которая верна в некоторой булевой алгебре, поменять все конъюнкции на дизъюнкции, 0 на 1, ≤ на ≥ и наоборот, то получится формула, также истинная в этой булевой алгебре. studfile.net Это следует из симметричности аксиом относительно таких замен. studfile.net

Если функция f задана формулой через отрицание, конъюнкцию и дизъюнкцию, то справедлив следующий принцип двойственности: для того, чтобы получить формулу, реализующую функцию f*, достаточно заменить все операции & на Ъ, все операции Ъ на &, а все константы — противоположными константами. www.unn.ru