我正在使用CUDD C++，我想知道是否可以执行以下操作：
现在，我将下一个表存储在bdd中：
|-----|-----|-----||-----|
| x1 | x2 | x3 || y |
|-----|-----|-----||-----|
| 0 | 0 | 0 || 0 |
|-----|-----|-----||-----|
| 0 | 0 | 1 || 0 |
|-----|-----|-----||-----|
| 0 | 1 | 0 || 1 |
|-----|-----|-----||-----|
| 0 | 1 | 1 || 0 |
|-----|-----|-----||-----|
| 1 | 0 | 0 || 0 |
|-----|-----|-----||-----|
| 1 | 0 | 1 || 1 |
|-----|-----|-----||-----|
| 1 | 1 | 0 || 0 |
|-----|-----|-----||-----|
| 1 | 1 | 1 || 0 |
|-----|-----|-----||-----|
是否可以创建另一个具有 2 个输出的表，提取x2的值，x3原始输出的值是否为 1？
期望输出：
|-----||-----|-----|
| x1 || x2 | x3 |
|-----||-----|-----|
| 0 || 1 | 0 |
|-----||-----|-----|
| 1 || 0 | 1 |
|-----||-----|-----|
我已经尝试使用ExistAbastract()命令，我获得了 2 个具有正确数据的bdds，但x2和x3仍然是输入。是否可以根据y的值将x2和x3从变量转换为输出？
您的第一个表是一个值表，它为 x1，x2，x3的每个组合定义一个值 y，因此可以表示为变量 x1，x2，x3 上的 BDD。
您想要的输出表只剩下双线的 y1。因此，您需要两个 BDD x2 和 x3，其范围仅超过 x1 的值。
请注意，如果对于 x1 的某个值，存在 x2，x3的多个组合，使得 y(x1，x2，x3)=True，那么您的问题就是模棱两可的。但是，如果不是这种情况，这里有一个有效的解决方案。
让我们只考虑你想要 x2 函数的情况(另一种情况类似)。你存在抽象 x3 并得到：
|-----|-----||-----|
| x1 | x2 || y |
|-----|-----||-----|
| 0 | 0 || 0 |
|-----|-----||-----|
| 0 | 1 || 1 |
|-----|-----||-----|
| 1 | 0 || 1 |
|-----|-----||-----|
| 1 | 1 || 0 |
|-----|-----||-----|
不错的开始。现在，您想要作为最终函数的是 y 为真的行中 x2 的值。让我们分解一下：
- 对于 x1 的所有值，如果最后一个函数的输出为 true，则 y(x1，true) 为真
- 对于 x1 的所有值，如果最终函数的输出为 false，则 y1(x1，false) 为真。
我们可以将第一个案例构建为：
(y & x2).ExistAbstract(x2)
这个已经足够了，因为这个表达式是一个无论如何都为所有其他输入值返回 FALSE 的函数。