真值表

curtain lecture

枕上告诫

真值表/truth table | 枕上告诫/curtain lecture | 枕头打闹战/pillow fight

decision procedure

判定程序

换言之,真值表法为一区别对确与不对确论证的判定程序 (decision procedure). 非常粗略而言,判定程序即应用它的人,不须借助其创意或想像力,也保证能在有限步骤内做出正确答案的一种方法. 这种方法或程序有时也称作机械方法 (mechanical method) 或演算法 (algorithm).

karnaugh map

卡诺图

由于这种方格图是由一位名叫卡诺(Karnaugh)的美国人发明的,因此人们通常将其称为卡诺图(Karnaugh Map). 卡诺图不仅可以用来描述逻辑函数,而且更重要的是他还可以用来化简逻辑函数. 一个函数可以用表达式表示,也可以用真值表来描述,

the Karnaugh map

卡诺图

真值表 truth table | 卡诺图 the Karnaugh map | 逻辑函数 logic function

shooting war

真枪实弹的战争

真理假说/truth claim | 真枪实弹的战争/shooting war | 真值表/truth table

truth function

真假值函数

真假值表归约性|truth table reducibility | 真假值函数|truth function | 真双曲[型]|properly hyperbolic

truth set

真值集合

truth matrix 真值表 | truth set 真值集合 | truth symbol 真符号

truth symbol

真符号

truth set 真值集合 | truth symbol 真符号 | truth table 真值表

truth table tabulation

真值表表列法

truth table 真值表 | truth table tabulation 真值表表列法 | truth value 真

truth value

真

truth table 真值表 | truth table tabulation 真值表表列法 | truth value 真

Anopheles candidiensis：日月潭疟蚊

\\"疟蚊属\\",\\"Anopheles\\" | \\"日月潭疟蚊\\",\\"Anopheles candidiensis\\" | \\"中华疟蚊\\",\\"Anopheles hyrcanus var. sinensis\\"

Gnome Milnes:GNOME：下的扫雷

2. Games:游戏软件 | 1) Gnome Milnes:GNOME下的扫雷; | 2) Gnibbles:贪吃蛇游戏;