Negace

Logická negace (používá se pro ni symbol ${\displaystyle \neg }$ nebo ${\displaystyle \mathrm {NOT} }$, popř. se označuje pruhem nad proměnnou) je unární logická operace, která vezme výrok "p" do dalšího výroku "ne p", psáno ¬p, který je samostatně interpretován jako pravda, když p je nepravda nebo jako nepravda, když p je pravda. Pro vstup ${\displaystyle A}$ vypadá pravdivostní tabulka negace následovně (0 označuje nepravdivé tvrzení, 1 označuje pravdivé tvrzení):

${\displaystyle A}$	${\displaystyle \neg A}$
0	1
1	0