离散数学几条简单问题判定下列符号串是否为公式,若是,请给出它的真值表.（1）（p∨q）→p（2）p∧（p→q）→q用等值

亮剑和 不要误导别人第一个问题的两个符号串都是公式。可以从公式的定义来看：1。P ,Q等原子命题是公式；2。p∨q,p^q,p->q,(P),pq,!p 是公式；3。由有限步2组成的符号串是公式；由此可知 （1）（2）都是公式； 他们的真值表 用“亮剑和”的贴图就不难看出。第二个问题 只要将等式两边的公式的真值表列出,就可以发现他们是等值的,这就是等值演算法。