从真值表中找出一个 boolean 的表达式（几位）

Question

我有以下真值表（a 和 b 是我的输入，结果是 r）：

一种	b	r
00	00	00
00	01	01
00	11	01
01	00	01
01	01	01
01	11	01
11	00	01
11	01	01
11	11	11

问题是我找不到 boolean 表达式来表达这个真值表。 另一个类似的线程指出卡诺图可以解决它，但我找不到任何使用多个位输入的实现。

---

请注意，对于我的 model，第二位无关紧要，因为第一位是为特定输入设置的，因此如果它有助于 boolean 表达式，我可以将其强制为 0、1，或者甚至不强制它。

Answer 1

真值表（给定）：

a0 a1 b0 b1  r0 r1
0  0  0  0   0  0
0  0  0  1   0  1
0  0  1  1   0  1
0  1  0  0   0  1
0  1  0  1   0  1
0  1  1  1   0  1
1  1  0  0   0  1
1  1  0  1   0  1
1  1  1  1   1  1

地图：

r0:
    \a0a1
b0b1 \ | 00| 01  11  10
00     | 0 | 1   1   1
        ---
01       1   1   1   1

11       1   1   1   1
        ---
10     | x | x   x   x
       |   |


r1:
    \a0a1
b0b1 \   00  01  11  10
00       0   0   0   0

01       0   0   0   0
                ---  
11       0   0 | 1 | 0
               |   |
10       x   x | x | x
                ---

Boolean 表达式：

r0 = a0 + a1 + b1

r1 = a0a1b0