設(shè)P:甲參加,Q:乙參加, R:丙參加, S:丁參加
將題意命題化：(P∧┐Q)v( ┐P∧Q) R→S (┐Q∧S)v(Q∧┐S) ┐S→┐P
根據(jù)以上條件可得:
((P∧┐Q)v( ┐P∧Q))∧(┐RvS) ∧((┐Q∧S)v(Q∧┐S)) ∧(Sv┐P)
((P∧┐Q)v(┐P∧Q))∧((┐R∧┐P)vS) ∧((┐Q∧S)v(Q∧┐S))
((┐P∧Q∧┐R)v(P∧┐Q∧S)v(┐P∧Q∧S)) ∧((┐Q∧S)v(Q∧┐S))
(((┐P∧Q∧┐R)v(P∧┐Q∧S)v(┐P∧Q∧S)) ∧(┐Q∧S)) v
(((┐P∧Q∧┐R)v(P∧┐Q∧S)v(┐P∧Q∧S)) ∧(Q∧┐S))
(P∧┐Q∧S)v(┐P∧Q∧┐R∧┐S)
可知有甲參加,丁參加,丙不參加這個方案中有兩個人參加比賽.