從網路課程 程式必修課！離散數學與演算法 來淺嚐一下沒機會在課堂上所學的離散數學與演算法。或許對撰寫程式的效能提昇會有些幫助。
課程相關資訊
[連結]：https://hiskio.com/courses/1196/lectures/133658
本篇範圍：Chapter 3
請注意：本系列文章為個人對應課程的消化吸收後，所整理出來的內容。換言之，並不一定會包含全部的課程內容，也有可能會添加其他資源來說明。
內容
Tautologies 恆真式
意思就是一定為 True 的 State 或是 Compound
1. A v A’
2. ( A → B ) ⭤ ( B’ → A’ )
3. [ ( A ^ B ) → C ] ⭤ [ A → ( B → C ) ]
Welled-Formed Formula ( wff )
能寫成合法的表達式，那就是一個 wff。為了簡化 wff 的內容，可以隱藏一些內容，以新的符號來代替
