(p∧qVr) 里面少了括號,請?zhí)砑?　　(p∧q)Vr 或 p∧(qVr)，沒括號沒意義的。假設(shè)是　　 (pV(q∧r))→(p∧(qVr))　　<==> ┐(pv(q∧r))) v (p∧(qVr))　　<==> (┐p∧(┐qV┐r)) V (p∧q)V(p∧r)　　<==> (┐p∧┐q)V(┐p∧┐r)V(p∧q)V(p∧r)　　<==> ((┐p∧┐q∧r)V(┐p∧┐q∧┐r))V((┐p∧q∧┐r)V(┐p∧┐q∧┐r))　 　V((p∧q∧r)V(p∧q∧┐r))V((p∧q∧r)V(p∧┐q∧r))　　<==> (┐p∧┐q∧r)V(┐p∧┐q∧┐r)V(┐p∧q∧┐r)V(p∧q∧r)V(p∧q∧┐r)V(p∧┐q∧r)　　<==> (┐p∧┐q∧┐r)V(┐p∧┐q∧r)V(┐p∧q∧┐r)V(p∧┐q∧r)V(p∧q∧┐r)V(p∧q∧r)　　<==> m0Vm1Vm2Vm5Vm6Vm7 (主析取范式)　　<==> M3(主合取范式)有此可知，000, 001, 010, 101,110, 111 是成真賦值，而011則是成假賦值。(pV(q∧r))→(p∧q∧r)　　<==> ┐(pv(q∧r))) v (p∧q∧r) 　　<==> (┐p∧(┐qV┐r)) V (p∧q∧r)　　<==> (┐p∧┐q)V(┐p∧┐r)V(p∧q∧r)　　<==> ((┐p∧┐q∧r)V(┐p∧┐q∧┐r))V(p∧q∧r)　　<==> (┐p∧┐q∧┐r)V(┐p∧┐q∧r)V(p∧q∧r)　　<==> m0Vm1Vm7(主析取范式)　　<==> M2∧M3∧M4∧M5∧M6 (主合取范式)有此可知，000, 001, 111 是成真賦值，而010, 011, 101,110, 則是成假賦值。 注：原題更簡單，學(xué)數(shù)學(xué)一定要自己動手。要是我，有了前面的解法，自己依樣畫葫蘆也畫出來了。不要質(zhì)疑自己的智商，根源是懶，這是現(xiàn)時學(xué)生的通病。好像少了項(pV(q∧r))→(p∧q∧r)　　<==> ┐(pv(q∧r))) v (p∧q∧r) 　　<==> (┐p∧(┐qV┐r)) V (p∧q∧r)　　<==> (┐p∧┐q)V(┐p∧┐r)V(p∧q∧r) <==> ((┐p∧┐q∧r)V(┐p∧┐q∧┐r))V((┐p∧q∧┐r)V(┐p∧┐q∧┐r))V(p∧q∧r) <==> (┐p∧┐q∧┐r)V(┐p∧┐q∧r)V(┐p∧q∧┐r)V(p∧q∧r)　　<==> m0Vm1Vm2Vm7(主析取范式)　　<==> M3∧M4∧M5∧M6(主合取范式)有此可知，000, 001, 010, 111 是成真賦值，而011, 100, 101, 110則是成假賦值。