)∧r(3) 在(3)式中,用(q∨┐p)∨(r∧┐r)置换(q∨┐p),用r∨(p∧┐p)∨(q∧┐q)置换r,得((q∨┐p)∨(r∧┐r))∧(r∨(p∧┐p)∨(q∧┐q)): 展开:(q&(24/25)下页上页返回列表 返回