從網路課程 程式必修課!離散數學與演算法 來淺嚐一下沒機會在課堂上所學的離散數學與演算法。或許對撰寫程式的效能提昇會有些幫助。
課程相關資訊
[連結]:https://hiskio.com/courses/1196/lectures/133650
本篇範圍:Chapter 3
請注意:本系列文章為個人對應課程的消化吸收後,所整理出來的內容。換言之,並不一定會包含全部的課程內容,也有可能會添加其他資源來說明。
內容
Equivalence Connective ( ⮂ )
Equivalence 是雙向箭頭。 A ⮂ B 是指 ( A → B ) ^ ( B → A )
若 A 則 B “且 AND ” 若 B 則 A 的縮寫
Truth Table 真值表
Take Away
由於 A ⮂ B 是 若A則B 且 若B則A 的縮寫。
1. A, B 都為 true 或是 A,B 都為 false 的時候,A ⮂ B 才會是 true