逻辑函数的布尔减-异或、布尔除-符合展开式在固定极性下的最小化方法

在混合极性下的减-异或、除-符合展开式的最小化方法基础上，讨论了在固定极性下减-异或、除-符合展开式的代数化简法和图形化简法，并给出了化简实例．实例验证了上述方法有效性．该法有助于进一步完善减-异或、除-符合代数系统的理论并促进新的数字元件及新一代数字电路的研发．

Method for minimization of SUBTRACTION-XOR and DIVISION-COINCIDENCE expansions of logic functions with fixed polarity

Based on the methods of algebraic and graphic minimization about SUBTRACTION-XOR , DIVISIONCOINCIDENCE functions with mixed polarity, the simplification formulas for the above logic functions was disscussed. Then the algebraic and graphic simplification methods for SUBTRACTION-XOR , DIVISION-COINCIDENCE functions with fixed polarity were proposed, and several simplification examples were also given. These practical examples proved the effectiveness of the above simplification methods. The discussion is helpful to further perfect the theory of SUBTRACTION-XOR , DIVISION-COINCIDENCE algebra system and promote the research of new digital electronic component and the design of new generation of digital circuit.