例3(续) (3)(∧q)(p∧-q)入r) 解(p∧q)(p入q)入r 台(p∧(q-q)入r(分配律) 冷p∧1∧F (排中律) 分p∧F (同一律) 这不是矛盾式,也不是重言式,而是非重言式的可 满足式.如101是它的成真赋值,000是它的成假赋值. 总结:A为矛盾式当且仅当A<>0 A为重言式当且仅当4分→1 说明:演算步骤不惟一,应尽量使演算短些11 例3 (续) (3) ((pq)(pq))r) 解 ((pq)(pq))r)  (p(qq))r （分配律）  p1r （排中律）  pr （同一律） 这不是矛盾式，也不是重言式，而是非重言式的可 满足式.如101是它的成真赋值,000是它的成假赋值. 总结：A为矛盾式当且仅当A0 A为重言式当且仅当A1 说明：演算步骤不惟一,应尽量使演算短些