多值模代数中的减法与除法运算及其应用

Subtraction and Division Operations in Multiple-Valued Modulo-Algebra and Their Applications

本文提出并讨论了模加与模乘运算的逆运算──模减与模除运算。它们的引入使模代数的取值域扩展到负数与分数，并以此建立相应的对称模代数与分数模代数系统，通过五值逻辑中函数表示的讨论，证明该二种新运算对建立一个功能完整的模代数系统是必要的。

Modulo subtraction and modulo division,the inverse operations of modulo addition and modulo multiplication,are proposed and discussed.These two new operations extend the domain to negative and numeric for modulo-algebra,by which the symmetric modulo-algebra system and the numeric modulo-algebra system are esblished.By discussing the function expression of quinary logic,it is shown that these two new operations are necessary for founding a modulo-algebra system with complete functions.