论文部分内容阅读
在变值逻辑体系下,对逻辑函数相空间进行可视化可间接显现逻辑函数的泛函数空间在进行置换与互补扩展后在相空间中的映射.本文建立对n元变值函数空间进行穷举及表示的处理模型和针对函数序列的可视化结构.以2元变值函数空间为例进行处理,与变值函数对应的编码图示,相关的W,F 及C 编码的可视化结果进行示意.对所给出的例子二值变量空间框架提供基础的实验支撑.