true及false那一個較大的問題，不一定是程式相關課程才有討論。
別忘了Boolean代數並不是為了寫程式才發展出來的。(George Boole是十九世紀的數學家)
程式語言中true及false能否比較牽涉到程式語言如何實作true與false。
但回歸到Boolean代數的定義，Boolean代數是個partially ordered set，true與false是有次序，可以比較大小的。所以我才會問樓主是不是在修“離散數學”。

有興趣的人可以參考wikipedia上有關Boolean algebra、Partially ordered set、Lattice等相關條目。
http://en.wikipedia.org/wiki/Boolean_algebra
http://en.wikipedia.org/wiki/Partially_ordered_set
http://en.wikipedia.org/wiki/Lattice_%28order%29

好奇怪的問題@@"......

"離散數學"?????
第一次聽到，小弟滿好奇這門學問主要應用在哪邊???
能否請大大給點資訊???
感謝~~~

離散數學顧名思義就是唸了會妻“離”子“散”的數學。抱歉，開個玩笑。

正經的回答：離散數學(Discrete Mathematics)是研究具有離散結構的系統的學科。內容包括集合論、排列組合、布林代數、圖論等。離散數學在計算機科學、化學、生物、經濟、管理等各領域都可以見到它的應用。

中山大學應用數學系朱緒鼎教授有一篇離散數學漫談 http://www.math.nsysu.edu.tw/article/zhu/
或者用google搜尋“離散數學”或“Discrete Mathematics”也可以找到許多資料。

XOR 時 00 和 11 都是 0
所以並沒有哪一個 ( 1 或 0 ) dominates 另一個
但是在 AND 裡時 只要有一個 0 答案就是 0 所以 0 在 AND 可以算 dominative term
同樣的解釋可以用來看待 OR 和 1 的關係

當然啦 這是自己的認知
不一定有回答發文者的問題

滿有趣的一門學問....尤其是最後的象棋殘局，
正好是小弟的興趣，研究了一下，依小弟淺見，
輪到下一手的就是贏家，不知道這樣對不對???
另外，文中提到有數學的方法可以解出下一步，
是如何解呢????

離散數學--不好讀 聽說啦 我也沒讀過

原來還有比微積分更難懂的。XD

= =比比微積分更難懂的很多阿

這句絕對是真的,
數數字,就可以發展不少超級高深的學問