| 非0非1型逻辑方程与相关逻辑方程的解集关系及其应用 |
| |
| 引用本文： | 丁殿坤,王汝亮.非0非1型逻辑方程与相关逻辑方程的解集关系及其应用[J].浙江大学学报(理学版),2015,42(6):668-671. |
| |
| 作者姓名： | 丁殿坤 王汝亮 |
| |
| 摘 要： | 给出了逻辑方程解集关系定理、将逻辑方程F=G化为0型或1型逻辑方程的方法以及相应的推论，并给予证明，得到：若F+G〖TX-〗=1和FG〖TX-〗=1的解集分别为S1、S2，则F=G的解集为S1-S2；若F+G=0和F〖TX-〗+G〖TX-〗=0的解集分别为S3、S4,则F=G的解集为S3∪S4；若F·G=1和F〖TX-〗·G〖TX-〗=1的解集分别为S5、S6,则F=G的解集为S5∪S6；同时亦得到：若逻辑方程组〖JB({〗F=1G=1〖JB)〗 、〖JB({〗F=0G=0〖JB)〗 的解集分别为X1、X2，则逻辑方程F=G的解集为X1∪X2，应用此结论可解非0型、非1型及相关的逻辑方程.
|
| 关 键 词： | 解集关系 非0 非1型 逻辑方程组 证明 |
|
| 点击此处可从《浙江大学学报(理学版)》浏览原始摘要信息 |
| 点击此处可从《浙江大学学报(理学版)》下载免费的PDF全文 |
|
