ITE算法的布尔运算

时间:2018-01-31 14:54:26

标签: decision-tree boolean-logic boolean-operations binary-decision-diagram

我有点困惑。我需要举例说明在每个布尔运算中使用ITE算法。但实际上我不知道有多少? 作为一个例子,我的意思是,AND,OR,XOR,XNOR,NOR,NAND,NOT。我不知道其他的......我至少想念一个,因为它不能是七个操作。 (2 ^ n)的

1 个答案:

答案 0 :(得分:0)

  

我需要举一个在每个布尔值上使用ITE算法的例子   操作

这是来自Knuth 计算机编程艺术第4卷的Fascicle 1B的练习1。

答案如下。

answer

  

但实际上我不知道有多少?

两个变量有16个布尔函数( n 变量的 2 2ⁿ 函数)。只是排列函数中的行'真相表。

| F0 | F1 | F2 | F3 | F4 | F5 | F6 | F7 | F8 | F9 | FA | FB | FC | FD | FE | FH |
|----|----|----|----|----|----|----|----|----|----|----|----|----|----|----|----|
|  0 |  0 |  0 |  0 |  0 |  0 |  0 |  0 |  1 |  1 |  1 |  1 |  1 |  1 |  1 |  1 |
|  0 |  0 |  0 |  0 |  1 |  1 |  1 |  1 |  0 |  0 |  0 |  0 |  1 |  1 |  1 |  1 |
|  0 |  0 |  1 |  1 |  0 |  0 |  1 |  1 |  0 |  0 |  1 |  1 |  0 |  0 |  1 |  1 |
|  0 |  1 |  0 |  1 |  0 |  1 |  0 |  1 |  0 |  1 |  0 |  1 |  0 |  1 |  0 |  1 |

F0和FH不依赖于两个变量的值 F3,F5,FA,FC仅取决于一个变量的值。

下表列出了这些功能的通用名称。

boolean functions

上表来自第4卷的Fascicle 0B

我补充说,F8和FE也分别称为皮尔斯的箭头和谢弗击球。