從網路課程 程式必修課！離散數學與演算法 來淺嚐一下沒機會在課堂上所學的離散數學與演算法。或許對撰寫程式的效能提昇會有些幫助。
課程相關資訊
[連結]：https://hiskio.com/courses/1196/lectures/133651
本篇範圍：Chapter 3
請注意：本系列文章為個人對應課程的消化吸收後，所整理出來的內容。換言之，並不一定會包含全部的課程內容，也有可能會添加其他資源來說明。
內容
Negation – 否定 unary Connective，以 ‘ 表示
1. P 為 true，那 P’ 為 false
2. P 為 false，那 P’ 為 true
De Morgan’s Law
( A V B )’ ⭤ A’ ^ B’
( A ^ B )’ ⭤ A’ V B’
把 not 的部份套用，就是將 A, B 取反向，且 and 改為 or ；反之則將 or 改為 and
