This file contains ambiguous Unicode characters that may be confused with others in your current locale. If your use case is intentional and legitimate, you can safely ignore this warning. Use the Escape button to highlight these characters.
#include <bits/stdc++.h>
using namespace std;
const int INF = 0x3f3f3f3f;
int main() {
/**
1、ABC+ABC'+AB'C+A(BC)'
=AB(C+C')+AB'C+A(BC)' 分配律
=AB+AB'C+AB'+AC'
=AB+AB'(C+1)+AC'
=AB+AB'+AC'
=A(B+B')+AC'
=A+AC'
2、A'C+A'BC+A'CD(B+E')
=A'C(1+B)+A'CD(B+E')
=A'C+A'CD(B+E')
=A'C(1+D(B+E'))
=A'C
3、AB+(AB)'+BC+(BC)'
= 1+1
=1
4、AB+ A‘C+B’C
=AB+ (A‘+B’)C 【反演律(摩根定律)：(AB)'=A'+B' (A+B)'=A'B'】
=AB+(AB)'C 【吸收律A+A'B=A+B】
=AB+C
更多参考这里：
https://blog.csdn.net/xun08042/article/details/112107102
*/
return 0;
}
