对给出的任意一个命题公式（不超过四个命题变元），使学生会利用编程软件表示出来，并且能够计算它在各组真值指派下所应有的真值，画出其真值表。

      对给出的任意一个命题公式（不超过四个命题变元），使学生会利用编程软件表示出来，并且能够计算它在各组真值指派下所应有的真值，画出其真值表。

1.  的真值表；
2. 的真值表；

• 本体采用逆波兰方式来求取公式的真值表
• 逆波兰：逆波兰记法中，操作符置于操作数的后面。例如表达“3+4”时，写作“3 4 +”，而不是“3 + 4”。如果有多个操作符，操作符置于第二个操作数的后面，所以常规中缀记法的“3 - 4 + 5”在逆波兰记法中写作“3 4 - 5 +”：先3减去4，再加上5。使用逆波兰记法的一个好处是不需要使用括号。例如中缀记法中“3 - 4 * 5”与“（3 - 4）*5”不相同，但后缀记法中前者写做“3 4 5 * -”，无歧义地表示“3 (4 5 *) −”；后者写做“3 4 - 5 *”。（本段解说来自搜狗百科逆波兰表示法）
• 注意：用 &、|、~、#、= 分别表示且、或、非、蕴含、等值（可自行设置）
• 例如01|         为