從網路課程 程式必修課！離散數學與演算法 來淺嚐一下沒機會在課堂上所學的離散數學與演算法。或許對撰寫程式的效能提昇會有些幫助。
課程相關資訊
[連結]：https://hiskio.com/courses/1196/lectures/133665
本篇範圍：Chapter 4
請注意：本系列文章為個人對應課程的消化吸收後，所整理出來的內容。換言之，並不一定會包含全部的課程內容，也有可能會添加其他資源來說明。
內容
Derivation Rules of Propositional Logic
Commutative 交換律
彼此交換對結果不影響
Associative 結合律
像是：A + ( B + C ) = (A + B) + C、A．( B．C ) = ( A．B )．C
De Morgan’s
如：( P V Q )’ = P’ ^ Q’
Implication (imp)
P -> Q = P’ V Q
Double Negation
P = (P’)’
Equivalence (equ)
P <-> Q = P -> Q ^ Q -> P
