什么是永真式？永假式？
离散数学化简命题公式的问题 化简为主析取范式·
命题公式层次怎么计算.比如若A是单命题的，则称A为0层公式.那么(？p ^q)→r为3层公式.这个3层怎么算出来的TAT 书上定义的看不懂
离散数学判断重言式 给定一命题公式来，若无论对分量作怎样的指派，其对应的真值永为T（True），则称该命题公式为重言式或永真公式。[1]设A为任一命题公式，若A在它的各种赋值下取值均为真，则称A是重言式。逻辑重言式是不管它的部件的真值而总是为真陈述。例如，陈述\"要么所有的乌鸦都是黑的，源要么不都是黑的\"是重言式，因为不用管乌鸦是什么颜色都是真的。形式的表达为一个用 X 表示\"所有的乌鸦都zhidao是黑的\"的命题：X or not X，它同样为真，因为不管 X 是否为真，都有一个离析项(disjunct)为真，而使整个命题为真。不管它的部件的真值而总是为假的陈述叫做矛盾。永真式与永假式互为否定式
命题公式成为永真式的条件是什么？ 第一随便带一个值进去.证明成立再证明变量的+1成立.
用真值表法判定公式是永真式，永假式还是可满足式 等价于2113((pVq)->；r)=>；s且s=>；((pVq)->；r)A->；B结构本身等价于(非A)V B如果没有其它条件，是5261可满足式。4102就是说可以选定p，q，r，s使得上式成立，1653但是不总成立（即也可以使之不成立），所以不是永真也不是永假）如果这些变量之间还有相互关系或其它限制，那就不一定了。
