根据真值表反推逻辑式(带多个案例)

1 前言

逻辑运算符以Java语言中的逻辑运算符为例, 相关逻辑运算的运算律不赘述;

& 与
| 或
^ 异或
~ 非

2 方法一：以真值表内输出端“1”为准

第一步：从真值表内找输出端为“1”的各行，把每行的输入变量写成**乘积(&)**形式;遇到“0”的输入变量上加非号。

第二步：把各乘积项相加( | )，即得逻辑函数的表达式

例如:

行号		条件a	条件b		条件c		输出端
1		0		0			0			0
2		0		0			1			1
3		0		1			0			1
4		0		1			1			1
5		1		1			0			1
6		1		1			1			0

输出端为 1 的是第2~5行:

第2行的变量为 0, 0, 1, 写成乘积形式 ~a & ~b &  c
第3行的变量为 0, 1, 0, 写成乘积形式 ~a &  b & ~c
第4行的变量为 0, 1, 1, 写成乘积形式 ~a &  b &  c
第5行的变量为 1, 1, 1, 写成乘积形式  a &  b & ~c

最终结果为:
(~a & ~b & c) | (~a & b & ~c) | (~a & b &  c) | (a & b & ~c) = y;

化简 --> ~a & (~b & c | b & ~c) + b & (~a & c | a & ~c) = y;
化简 --> ~a & (b ^ c) | b & (a ^ c) = y;

3 方法二：以真值表内输出端“0”为准

第一步：从真值表内找输出端为“0”的各行，把每行的输入变量写成**求和( | )**的形式，遇到“1”的输入变量上加非号。

第二步：把各求和项相乘(&)，即得逻辑函数表达式。

例如:

还是以上面的真值表为例, 输出 0 的是第 1, 6 行:

第2行的变量为 0, 0, 0, 写成相加形式 a | b | c
第3行的变量为 1, 1, 1, 写成相加形式 ~a | ~b | ~c

最终结果为:
(a | b | c) & (~a | ~b | ~c) = y;
对于写代码而言, 这个式子不算复杂了, 就不化简了;

4 较复杂的案例, 来自力扣

为了更好的理解案例的思路, 先看一个十分简单的题目一:

给定一个非空整数数组，除了某个元素只出现一次以外，其余每个元素均出现两次。找出那个只出现了一次的元素。

输入: nums = [(0b)0100, (0b)0010, (0b)0011, (0b)0010, (0b)0011], (0b)表示0100是二进制表示;
输出: (0b)0100

来源：力扣（LeetCode）
链接：https://leetcode-cn.com/problems/single-number
著作权归领扣网络所有。商业转载请联系官方授权，非商业转载请注明出处。

解答(没看懂的可以打开力扣链接看官方解答, 这一题我写的比较粗略)

异或运算恰好满足两个相同的数运算后结果为 0 , (且异或运算满足交换律和结合律);
所有数字做异或运算, 其实就相当于每一个二进制位单独做异或运算;

	0	1	0	0
^	0	0	1	0 
^	0	0	1	1 
^	0	0	1	0 
^	0	0	1	1
-------------------
	0	1	0	0

第一列为 0 ^ 0 ^ 0 ^ 0 ^ 0 = 0
第二列为 1 ^ 0 ^ 0 ^ 0 ^ 0 = 1
第三列为 0 ^ 1 ^ 1 ^ 1 ^ 1 = 0
第四列为 0 ^ 0 ^ 1 ^ 0 ^ 1 = 0
最终结果为 (0b)0100

题目二:

给你一个整数数组 nums ，除某个元素仅出现 一次 外，其余每个元素都恰出现 三次 。请你找出并返回那个只出现了一次的元素。

来源：力扣（LeetCode）
链接：https://leetcode-cn.com/problems/single-number-ii/
著作权归领扣网络所有。商业转载请联系官方授权，非商业转载请注明出处。

解答

考虑一个二进制位, 初始结果为 0;
我们希望在这个二进制位上记录三种状态: [0, 1个1, 2个1], 当出现第 3 个 1 时, 回到初始状态0;

但是一个二进制位的值只能为 0 或者 1, 不可能记录三个状态;
对此, 我们额外再使用一个二进制位, 这样一共可以表示四种状态 [00, 01, 10, 11], 我们选其中三个使用即可;

比如我们使用其中的 [00, 01, 11], 来对应状态 [0, 1个1, 2个1];(任意选三个即可)

例如: 
我们用 00, 01, 11 记录当前的结果, 来统计数据集 [1, 1, 0, 1, 1, 1];

初始化 ans = 00, 表示 0 个 1;
ans(00) 与 1 运算, 得到 ans(01), 表示 1 个 1;
ans(01) 与 1 运算, 得到 ans(11), 表示 2 个 1;
ans(11) 与 0 运算, 得到 ans(11), 表示 2 个 1;
ans(11) 与 1 运算, 得到 ans(00), 表示 0 个 1;
ans(00) 与 1 运算, 得到 ans(01), 表示 1 个 1;
ans(01) 与 1 运算, 得到 ans(11), 表示 2 个 1;

最终结果为 2 个 1;

接下来, 重要的是怎么在代码中实现这种运算逻辑, 考虑使用两个整数 a, b 分别表示我们需要的两个二进制位;

首先写出该运算的真值表:

状态(ab)	下一个数(num)	结果(ab)
0 0			0			00
0 1			0			01
1 1			0			11
0 0			1			01
0 1			1			11
1 1			1			00

首先只考虑怎样得出结果 a

状态(ab)	下一个数(n)	结果(a)
0 0			0			0
0 1			0			0
1 1			0			1
0 0			1			0
0 1			1			1
1 1			1			0

根据第三行和第五行, 可以得出式子 (a & b & ~n) | (~a & b & n) = 结果中的 a

然后只考虑怎样得出结果 b

状态(ab)	下一个数(num)	结果(b)
0 0			0			0
0 1			0			1
1 1			0			1
0 0			1			1
0 1			1			1
1 1			1			0

根据第一行和第六行, 可以得出式子 (~a | ~b | ~ c) & (a | b | c) = 结果中的 b

最终的java代码

public int findTheUniqueNum(int[] nums){
    int a = 0, b = 0;
    for(int n : nums) {
        // 使用 t1, t2 暂存 a, b 的值;
        int t1 = a, t2 = b; 
		a = (t1 & t2 & ~n) | (~t1 & t2 & n);
    	b = (~t1 | ~t2 | ~n) & (t1 | t2 | n);
    }
    // 因 nums 中的数字只有一个数出现一次, 其他都出现三次;
    // 所以最后的结果中, 每个二进制位上最多只有一个 1, 此时 a 必定为 0 , 直接范围 b 即可;
    return b;
}