Negacja (zaprzeczenie) to podstawowy operator logiczny (jednoargumentowy), który przekształca dowolne zdanie na zdanie o przeciwnej wartości logicznej. Negację oznaczamy symbolem ¬\neg lub ∼\sim i czytamy “nieprawda że”.
p=1p=0⇒∼p=0⇒∼p=1 pp | ∼p\sim p |
11 | 00 |
00 | 11 |
