∧((q∨r)∨(p∧┐p)): 展开:(┐p∨r∨q)∧(┐p∨r∨┐q)∧(q∨r∨p)∧(q∨r∨┐p)(5) 按符号的字母顺序重排(5),得: (p∨q∨r)∧(┐p∨q∨r(21/25)下页上页返回列表 返回