王廷明 王礼萍 徐凤生 何新贵 张树功 李天志

真度 穿线树 判定问题 加权模糊逻辑 相似度 栈 范式 判定规则 主析取范式 基本和 重言式 真值表 命题变元 求解算法 矛盾式 算法 多项式