Principio di condizione di dualità: In matematica, la dualità ha numerosi significati, e anche se è "un concetto molto diffusa e importante nella matematica (moderni)" e "un importante tema generale che ha manifestazioni in quasi ogni zona della matematica ", non esiste una sola definizione universalmente accettato che unifica tutti i concetti di duality.If il duale di A è B, quindi il duale di B è A. Come involuzioni volte includono punti fissi, il doppio di A volte è un sé. (Fonte da Wikipedia) Qui stiamo andando a conoscere il principio di duality.Examples di principio di condizione di dualità: Cerchiamo di discutere alcuni problemi di esempio in principio di condizioni di dualità, (legge di De Morgan): Sia "a" e "b" essere algebra booleana , quindi (a + b) '= a'b'Proof: Dobbiamo dimostrare il complemento di una definizione + b = a'b'.The di complemento, è sufficiente a dimostrare (a + b) + A'B '= 1 (a + b) (A'B') = 0 (a + b) + a'b '= (a + b) + a'b' (Axiom 3x) = b + a + A'B ' (associativa) = b + (a + a '). (a + b') (Axiom 4y) = b + 1 (a + b ') (Axiom 5) = b + (a + b') (Axiom 2y) = b + b '+ a (associativa di +) = 1 + a (Axiom 5) = a + 1 (Axiom 3x) = 1 (Teorema 2x) (a + b) + a'b' = 1 ... ( 1) (a + b) A'B '= ((a + b) un'), b 'associatività = (un' (a + b)) b = (a'a + A'B) b '(Assiomi 3x , 4x) = (0 + b bis ') b' (Assioma 5) = (ba ') b' = BB 'a' (Axiom 3x) = 0.a '(Assioma 5) = 0 (a + b) un' b '= 0 ... (2) da (1) e (2), il complemento di a + b è a'b' è (a + b) 'esempi = a'b'More di principio di condizioni dualità: algebra booleana, per ogni x, y'in 'b (xy)' = x '+ y'Proof: La definizione del complemento di un elemento è sufficiente proveab + (a' + b ') = 1E ab (a' + b ') = 0AB + (a' + b ') = (ab a +') + b '(associatività di +) = (a + a') (B + a ') + b' (Axiom 4y) = 1 (b + a ') + b' (Assioma 5) = b + a '+ b' (2y) oppure 1. a = a = b + b '+ un' (Axiom 3x) = 1 + a '(Axiom 5) = a '+ 1 (Assioma 3 x) = 1 (Teorema 2x) ab + (a' + b ') = 1 .... (1) = ab (a' + b ') = ba (a' + b ') (Assioma 3 anni) = b (aa' + ab ') (Axiom 4x) = b (0 + ab') (Assioma 5) = bab '(Axiom 2y) = bb'a (Axiom 3x) = 0 .a = A.0 (3x e teorema 2A) = 0AB (un '+ b') = 0 ... (2) Da (1) e (2), abbiamo (ab) '= a' + b '