可消性相关论文
设M是模，E—End（M）是模M的自同态环．本文引人了模M的弱稳定秩n，并证明了：如果R是弱稳定秩n的，那么eRe也是弱稳定秩n的．如果M是弱稳定秩n的......
本文给出了布尔逻辑公式中文字和小项可消性的一些充分必要条件，为进一步提出新的布尔逻辑公式的化简方法奠定了一些理论基础。......
本文分别给出了格值逻辑公式中短语和文字可消去的一些充要条件，从而为格值逻辑公式的化简提供了理论基础。......
设Ｆ＝ａＰ＋ａ＿１Ｐ＿１＋……＋ａ＿ｍＰ＿ｍ是非冗余析取范式，本文获得了当ａ＞０．５时，ａＰ可消当且仅当ａＰ是冗余项，当ａ≤０．５时，给出了ａＰ可消的一个判别准则，然后归纳出短语可消性的判定法则。......
设Ｆａｙｐ’ａ１ｐ１＋…＋ａｍｐｍ是非冗余析取范式，文字ｙ可消等价于文字ｙ在Ｆ‘＝ａｙｐ’＋ａ１ｐ１…ａｔｐｔ中要消，这里α≤ｍｉｎ｛ａ１，…，ａｔ｝，ｐ１，…，ｐｔ不含文字ｙ。......
