孫和李去能給出解題過程嗎，（將題目符號化）解此類問題的步驟應為：① 將簡單命題符號化② 寫出各復合命題③ 寫出由各復合命題組成的合取式④ 將寫出的公式化成析取范式，給出其成真賦值，即可得到答案。具體解法如下：① 令 p：派趙去q：派錢去r：派孫去s：派李去u：派周去②(1) p→q(2) s∨u(3) ((q∧┐r)∨(┐q∧r))(4) ((r∧s)∨(┐r∧┐s))(5) u→(p∧q)③ 設A=(p→q)∧(s∨u)∧((q∧┐r)∨(┐q∧ r))∧((r∧s)∨(┐r∧┐s)) ∧(u→(p∧q))④ 求A的析取范式(用等值演算法)，簡要過程如下：A(┐p∨q)∧(s∨u)∧((q∧┐r)∨( ┐q∧r))∧((r∧s)∨(┐r∧┐s))∧(┐u∨(p∧q)) (┐p∨q)∧((q∧┐r)∨(┐q∧r))∧((r∧s)∨(┐r∧┐s))∧(s∨u)∧(┐u∨(p∧q)) ((┐p∧q∧┐r)∨(q∧┐r)∨(┐p∧┐q∧r))∧((r∧s)∨(┐r∧┐s))∧(s∨u)∧(┐u∨(p∧q)) ((q∧┐r)∨(┐p∧┐q∧r))∧((r∧s)∨(┐r∧┐s))∧(s∨u)∧(┐u∨(p∧q))（用了吸收律） ((┐p∧┐q∧r∧s)∨(q∧┐r∧┐s))∧(s∨u)∧(┐u∨(p∧q)) ((┐p∧┐q∧r∧s)∨(┐p∧┐q∧r∧s∧u)∨(q∧┐r∧┐s∧u))∧(┐u∨(p∧q)) (┐p∧┐q∧r∧s∧┐u)∨(p∧q∧┐r∧┐s∧u)最后一步得到一個主析取范式，含有兩個極小項。當p，q，r，s，u取值分別為0，0，1，1，0 或 1，1，0，0，1 時，A為真，故公司應派孫、李去，而趙、錢、周不去，或趙、錢、周去，而孫、李不去。注意，在演算中，多次用了矛盾律和同一律。