手机知网 App
24小时专家级知识服务
打 开
数学
关于部分K值逻辑Sheffer函数(Ⅳ)
根据部分多值逻辑的完备性理论,证明了m=2时关系图为树的两类单纯可离函数集一类P k的极大封闭集之最小覆盖中k在的极大封闭集之最小覆盖中不出现,另一类在P 必须出现。
0 14
长沙交通学院学报
2004年04期

搜 索