邏輯非(logical not / negation)係指將一條命題 P {\displaystyle P} 嘅真假值變成相反。「 P {\displaystyle P} 嘅邏輯非」可以寫做 ¬ P {\displaystyle \neg P} 、 ∼ P {\displaystyle {\mathord {\sim }}P} 或者 P ¯ {\displaystyle {\overline {P}}} 。
假設 1 {\displaystyle 1} 表示「真」, 0 {\displaystyle 0} 表示「假」,噉