部分四值逻辑单纯可离函数集最小覆盖之判定

作者：许芬

来源：海南师范学院学报(自然科学版), 2006, (03): 222-224.

DOI：10.3969/j.issn.1674-4942.2006.03.008

• 多值逻辑
• 单纯可离
• 最小覆盖 multiple-valued logic
• simple separability
• minimal covering

根据部分K值逻辑的完备性理论,通过剔除部分四值逻辑中能被其余准完备集覆盖的单纯可离函数集,缩小了判定最小覆盖的范围.

• 单位
  海南师范学院