Definition

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

Definitions

  • flash storage

    - Flash storage, based on flash memory, is used for data repositories, storage systems and consumer devices, such as USB drives, smartphones and solid-state drives. Flash-based storage is faster than... (WhatIs.com)

  • six degrees of separation

    - Six degrees of separation is the theory that anyone on the planet can be connected to any other person on the planet through a chain of acquaintances that has no more than five intermediaries. (WhatIs.com)

  • search operator

    - A search operator (sometimes referred to as a search parameter) is a character or string of characters used in a search engine query to narrow the focus of the search. Search operators are usually ... (WhatIs.com)

Glossaries

  • 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

Share
Comments

    Results

    Contribute to the conversation

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