1樓：匿名使用者
int a = 0;
int b = 0;
int a_time = 0;
int a_lock = 0;
int b_time = 0;
int b_lock = 0;
void chk()
}//如果有乙個不知道時間也對
if(a_time==0 || b_time==0)}}void main()
2樓：匿名使用者
這個題目挺有趣的。
用計算機解決這個問題有兩個思路，乙個是版使用形式邏輯用邏輯表權達式去推，這有點太難不考慮。簡單的辦法是窮舉法。
總共有若干個子命題，比如「是a幹的」「在營業時間內」等。每個命題狀態是0或者1。如果子命題有5個，它們的「狀態組合」就有32種。
問題的每乙個「條件」可以概括為兩個子命題的或。
1，寫求「條件」值的函式。根據某乙個「狀態組合」，求「條件」的值。
2，對每一種「狀態組合」進行窮舉，找出符合所有條件的結果。對每乙個能滿足所有條件的「狀態組合」，分析是誰幹的。如果所有的結果都一致，那麼推理造成。否則，推理失敗。
「狀態組合」可以用int表示，每一位代表乙個子命題。「條件」可以用兩個int來表示，乙個是遮蔽碼，表示這個條件裡包含哪些子命題，另乙個是那些子命題的狀態。
程式之外，資料定義的工作一定要設計清除，可讀性好，你才能把程式寫對。
然後寫主函式。
3樓：匿名使用者
這簡直不用邏輯推理，1,2先決條件存在，那麼後面的3,4,5等於是b自己否定了自己。
所以判斷上只要判別3,4,5是否符合1,2的條件。
而都是否定的，那就可以判斷b才是結果答案。
離散數學求幫助用推理規則證明下列各式P Q R ,S P,QS R
附加前提證明法。1 s 附加前提引入 2 s p 前提引入 3 p 12假言推理 4 p q r 前提引入 5 q r 34假言推理 6 q 前提引入 7 r 56假言推理 所以，推理正確。離散數學 用推理規則證明 前提 p q,p s,q r 結論 s r 用反證法也就是歸謬法。1 s r 否定前...
離散數學中傳遞閉包怎麼求 通俗一點
方法 warshall法，即執行n次，每次使得mr n i mr i n 都為1時使得mr i j 為1,否則還是為mr i j 傳遞閉包的計算過程一般可以用warshell演算法描述 for 每個節點i do for 每個節點j do if j能到i then for 每個節點k do a j,k...
什麼是連續數學和離散數學？兩者什麼區別？求說簡單點，深奧聽不
連續 continuity 的概念最早出現 於數學分析，後被推廣到點集拓撲中。假設f x y是乙個拓撲空間之間的對映，如果f滿足下面條件，就稱f是連續的 對任何y上的開集u,u在f下的原像f 1 u 必是x上的開集。若只考慮實變函式，那麼要是對於一定區間上的任意一點，函式本身有定義，且其左極限與右極...