Principe de la condition de la dualité: En mathématiques, la dualité ont de nombreuses significations, et même si elle est «un concept très répandu et important en mathématiques (modernes)" et "un thème général important qui a des manifestations dans presque tous les domaines des mathématiques ", il n'y a pas de définition unique universellement acceptée qui unifie tous les concepts de duality.If le double de A est B, alors le double de B est A. Comme involutions comprennent parfois des points fixes, le dual de A est parfois lui-même. (Source de Wikipedia) ici, nous allons en apprendre davantage sur le principe de duality.Examples de principe de l'état de la dualité: Laissez-nous discuter de quelques exemples de problèmes de principe de l'état de la dualité, (loi de de Morgan): Soit "a" et "b" être algèbre booléenne , puis (a + b) '= a'b'Proof: Nous devons prouver le complément d'une définition + b = a'b'.The du complément, il suffit de montrer (a + b) + a'b '= 1 (a + b) (A'B') = 0 (a + b) + A'B '= (a + b) + A'B' (axiome 3 x) = b + a + A'B ' (associative) = b + (a + a '). (a + b) (Axiom 4y) = b + 1 (a + b) (Axiom 5) = b + (a + b) (Axiom 2y) = b + b '+ a (associative de +) = 1 + a (Axiom 5) = a + 1 (Axiom 3x) = 1 (théorème 2x) (a + b) + a'b' = 1 ... ( 1) (a + b) a'b '= ((a + b) a') b 'associativité = (a' (a + b)) b = (a'a + a'b) b '(axiomes 3x , 4x) = (0 + ba ') b' (Axiom 5) = (ba ') b' = bb 'a' (Axiom 3x) = 0.a '(Axiom 5) = 0 (a + b) un' b '= 0 ... (2) a partir de (1) et (2), le complément de a + b est A'B' est (a + b) «des exemples de = a'b'More de principe de l'état de la dualité: algèbre de Boole, pour tout x, y'in 'b (xy)' = x '+ y'Proof: La définition de complément d'un élément, il suffit de proveab + (a' + b ') = ab 1Et (a' + b ') = 0AB + (a' + b ') = (ab + a) + b' (associativité de +) = (a + a ') (b + a) + b' (axiome 4y) = 1 (b + a) + b '(axiome 5) = b + a' + b '(2a) ou 1 = a = b + b' + a '(axiome 3 x) = 1 + a' (axiome 5) = a '+ 1 (Axiom 3 x) = 1 (théorème 2x) ab + (a' + b ') = 1 .... (1) = ab (a' + b ') = ba (a' + b ') (Axiom 3y) = b (aa' + ab ') (Axiom 4x) = b (0 + ab') (Axiom 5) = bab '(Axiom 2y) = bb'a (Axiom 3x) = 0 .a = A.0 (3x et théorème 2y) = 0AB (a '+ b') = 0 ... (2) a partir de (1) et (2), on a (ab) '= a' + b '