Em lógica e matemática, é uma operação sobre valores lógicos: se uma proposição é verdadeira, então este operador lógico produz o valor falso, e vice versa.
