输入合适公式（没有考虑优先级，只根据括号优先），输出时会提取其中的元素（比如这里有A B C），并打印真值表。

    求值的一般顺序是：带入每个元素的值，求出式子的真值，所以可以分为两块：1.枚举元素值（枚举） 2.根据元素值求式子值（计算）

    我认为这个的难点在于枚举，我们既要想办法提取出每一个元素，又要为其赋值（0和1）

    我们先约定好六个运算符

    并封装好这个真值表打印器 

    对于提取元素：涉及到字符串的处理以及查重，python提供了便捷的set集合来处理

    对于赋值：比如式子A|B|C，提取出ABC后，一共有从000 到 111，2^3种情况，而N个元素就有2^N种情况，显然是不能用简单的循环是实现的，这里可以用递归来处理

        a.利用set提取元素  

            set(字符串)能把字符串里每个字符提取出来，构成一个集合，而集合是不存在相同字符的，所以这里完成了筛选重复字符的工作。

            如set('A|B&C') = {'A', 'B', 'C', '|', '&'}

            seta.difference(setb)能让seta留下于setb集合中不同的元素。

            所以第二句生成了一个筛选掉运算符的元素集合，完成了元素的提取

        b.利用递归枚举赋值

            如何递归呢，这里假如有三个元素A，B，C

            递归函数有一个参数 i ，用来指定此次因该枚举哪一个元素的值，比如 i = 0， 则枚举A的值。

            首先初始化一个字典用来存储元素的值：self.dict = {'A':0, 'B':0, 'C': 0}

            第一次：{'A':0, 'B':0, 'C': 0}，i = 1，所以先分别给A赋值0和赋值1，并把 i 加一，再调用枚举函数（也就是递归调用自己）。因为要调用自己两次，这里就产生了1*2 = 2个分支：

                分支1：{'A':0, 'B':0, 'C': 0}，i = 1

                分支2：{'A':1, 'B':0, 'C': 0}，i = 1

            第二次，i = 1，分别给B赋值0和1，在第一次的两个分支的基础上产生了2*2 = 4个分支

                分支1：{'A':0, 'B':0, 'C': 0}，i = 1 

                    分支11：{'A':0, 'B':0, 'C': 0}，i = 2

                    分支12：{'A':0, 'B':1, 'C': 0}，i = 2

                分支2：{'A':1, 'B':0, 'C': 0}，i = 1

                    分支21：{'A':1, 'B':0, 'C': 0}，i = 2

                    分支22：{'A':1, 'B':1, 'C': 0}，i = 2

            第三次，同理，给C赋值的时候，会产生总共4*2 = 8个分支，这时候递归枚举也结束了，我们也得到了八个枚举的结果 

        实现代码：

    计算的思路很简单，我们分别设置三个值：

        s ：用来存储当前的终值，初始值设置为-1

        s0 ：用来存储当前式子或元素的值

        operater ：用来存储目前的操作符 

    然后一个字符一个字符地循环遍历表达式：

       例：str = 'A | (A & B) & C'   调用 __sum(self, str)：

        循环1：字符 = 'A"，则s = A的值

        循环2：字符 = '|'，则operater = '|'

        循环3：字符 = '('，则s0 = __sum(self, ’括号内的那坨表达式‘)，(这样便可利用递归简单地完成括号的处理)

                     s = (s operator s0)，s0 = -1(更新s的值）

        .......

        到最后一个字符结束后，式子的值已经存储于s中了。

        实现代码：