#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;
}