为什么(┐p∨┐q∨┐r∨s∨r)∧(┐p∨┐q∨r∨s∨┐s)是T?

问题描述:

为什么(┐p∨┐q∨┐r∨s∨r)∧(┐p∨┐q∨r∨s∨┐s)是T?

两个括号中都是析取
第一个括号中 非r或r 不论r取F还是T 结果都是T 是重言式 为T
第二个括号中 s或非s 不论s取F还是T 结果都是T 是重言式 为T
T且T 为T