1、本文给出极小子集问题的逻辑代数解法,即通过求逻辑函数的极小析取范式或极小合取范式来获得极小子集。
2、本文对于多值逻辑代数系统中的基本运算和实现这些基本运算的门电路,作了必要的阐述。
3、首先以蕴涵算子为基础从有限扰动模糊命题逻辑出发,讨论其逻辑代数及广义重言式的性质。