姜文彬 黄文奇 王玉祥 费本初 狄玉来 赖楚生 罗银芳 洪睛华 徐凤生 陶文祥 林豪 李天志

栈 数字电路 转换器 输入数据 实验台 最小项 算法 电路模拟 信号发生器 大规模电路 测试程序 逻辑函数 通解 合取范式 变换算法 输出端 电子技术 对称三值逻辑 多值逻辑 素数模数 三值逻辑方程 判定问题 命题公式 析取 被测器件 扇入数 模糊变量 特征函数 子句 可靠性