Morgan, leis de

Leis dadas, en lóxica de enunciados, polas equivalencias seguintes: non (P e Q) = (non) P ou (non) Q, e non (P ou Q) = (non P) e (non Q); e en teoría de conxuntos, lei dada polas igualdades qAq3qB =qA Symbol >∪ qB   e   qAq Symbol >∪ qB= qA3qB, onde as barras indican os conxuntos complementarios. As leis de Morgan cúmprense en calquera álxebra de Boole.