( INVERS )
A logikai tagadást egyetlen változón, vagy csoporton végrehajtott műveletként értelmezzük.
Jelentése pedig az, hogy ha a független változó IGAZ, akkor a tagadottja HAMIS és fordítva. Algebrai leírásban a tagadást a változó jele fölé húzott vonallal jelöljük. Ezek szerint a
egyenlőség azt jelenti, hogy a K akkor IGAZ, ha az A HAMIS. ( Szóban A nem - nek, A felülvonásnak vagy A tagadottnak mondjuk.)