沒有解答的推理（２）能用電腦解嗎？ - 拼圖

話說帕索大學新任校長想組個"發展委員會"
他打算從８位系主任中，選出４位來當委員
在調查他們的想法之後，才發覺派系問題嚴重．．．
以下是８位教授的意見：

萬：誰當委員我都不在乎！
丘：要有白教授，不然我不參加！
白：我不要和張教授共事！
張：只要有顏教授同意，我就參加！
賴：我和其他人都處得來，沒問題。
江：有張教授的話，我希望簡教授也參加。
　　有白教授的話，我希望張教授也參加！不然我不參加！
簡：我不要丘教授和白教授一同當委員，相信您聽過"一丘白貉"
　　另外我也不想和賴教授及萬教授其中一人共事，他們都沒主見！
顏：要有丘教授或江教授其中一人，不然我不參加，如果有白教授，我希望要有簡教授。
　　但是如果白教授和萬教授都是委員，我絕對不參加！

原題是問，能否找出４位教授，合乎８位教授的要求？
我想改一下：C(8,4)=70.是否有超過１種以上的組合可行？可以用電腦找嗎？？？
答案防雷，我目前是找出２組，其中１組可算完全符合８位教授的要求～


























答：江／張／顏／簡
　　萬／賴／丘／白　這個答案，不太符合顏教授希望"有白，要有簡"的要求！
不過找出這麼兩組完全不同組合的答案．．．也難怪校長頭大！！！

--
"奧坎氏簡化論" -- "解決問題最好的方法 ; 幾乎總是最簡單的方法 "
1.我們離財富自由 , 只差一個好構想 , 及一個 "關鍵人物"
2.實際上,你開始的時候只需要三種資源 : 好點子 , 實現好點子的決心 ,
和擁有其他所有資源的重要人脈.
你應該奉行這個座右銘 :我現在需要的每一種有形或無形資產 ,
都掌握在某個地方的某些人手裡 , 我要如何找到這些人 , 說服他們提供我這些資源 ?

--