摘要：从单个变量的四个布尔函数中生成任意变量数量的不等价布尔函数的算法设计 提供了该布尔函数集的语法 构建接受该布尔函数集的图灵机
作者：Birendra Kumar Nayak (1), Sudhakar Sahoo (2)
论文ID：0802.4131
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2008-02-29
PDF 下载： 英文版 中文版pdf翻译中