What is logical negation symbol? - Definition from WhatIs.com


logical negation symbol

Part of the Computing fundamentals glossary:

The logical negation symbol is used in Boolean algebra to indicate that the truth value of the statement that follows is reversed. The symbol resembles a dash with a 'tail' (¬). The arithmetic subtraction symbol (-) or tilde (~) are also used to indicate logical negation.

The simplest use of a negation symbol is with a single sentence. For example, if A represents the statement "The sky is blue," then ¬A represents the statement "The sky is not blue" or "It is not true that the sky is blue."

The negation symbol is often found within, or preceding, complex logical statements. In Boolean algebra, the plus sign (+) represents the logical inclusive OR, and the asterisk (*) represents the logical AND. Rules for use of the logical negation symbol become more complicated when the symbol appears in complex statements. For example, these pairs of statements are not equivalent for all A and for all B:

¬(A + B)
(¬A) + (¬B)

¬(A * B)
(¬A) * (¬B)

However, the following pairs of statements are logically equivalent for all A and for all B:

¬(A + B)
(¬A) * (¬B)

¬(A * B)
(¬A) + (¬B)

Also see Boolean algebra, and the Mathematical Symbols .

This was last updated in September 2005
Posted by: Margaret Rouse

Related Terms


  • photonics

    - Photonics is an area of study that involves the use of radiant energy (such as light), whose fundamental element is the photon. (WhatIs.com)

  • laser

    - A laser is a coherent and focused beam of photons; coherent, in this context, means that it is all one wavelength, unlike ordinary light which showers on us in many wavelengths. The acronym laser s... (WhatIs.com)

  • cyberextortion

    - Cyberextortion is a crime involving an attack or threat of attack against an enterprise, coupled with a demand for money to avert or stop the attack. (SearchSecurity.com)


  • Computing fundamentals

    - Terms related to computer fundamentals, including computer hardware definitions and words and phrases about software, operating systems, peripherals and troubleshooting.

  • Internet applications

    - This WhatIs.com glossary contains terms related to Internet applications, including definitions about Software as a Service (SaaS) delivery models and words and phrases about web sites, e-commerce ...

Ask a Question About logical negation symbolPowered by ITKnowledgeExchange.com

Get answers from your peers on your most technical challenges

Tech TalkComment



    Contribute to the conversation

    All fields are required. Comments will appear at the bottom of the article.