Negace

Z Wikipedie, otevřené encyklopedie

Logická negace (používá se pro ni symbol \neg nebo NOT, popř. se označuje pruhem nad proměnnou) je unární logická operace, jejíž hodnota je nepravda, právě když první vstupní hodnota je pravda a naopak.

[editovat] Definice

Pro vstup A vypadá pravdivostní tabulka negace následovně (0 označuje nepravdivé tvrzení, 1 označuje pravdivé tvrzení):

A \neg A
0 1
1 0

(negace NOT)

[editovat] Vlastnosti

\neg (\neg A) = A

[editovat] Podívejte se též na