Browse Definitions :
Definition

logical negation symbol

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

Start the conversation

Send me notifications when other members comment.

Please create a username to comment.

-ADS BY GOOGLE

File Extensions and File Formats

SearchCompliance

  • compliance audit

    A compliance audit is a comprehensive review of an organization's adherence to regulatory guidelines.

  • regulatory compliance

    Regulatory compliance is an organization's adherence to laws, regulations, guidelines and specifications relevant to its business...

  • Whistleblower Protection Act

    The Whistleblower Protection Act of 1989 is a law that protects federal government employees in the United States from ...

SearchSecurity

  • RSA algorithm (Rivest-Shamir-Adleman)

    The RSA algorithm is the basis of a cryptosystem -- a suite of cryptographic algorithms that are used for specific security ...

  • remote access

    Remote access is the ability to access a computer or a network remotely through a network connection.

  • IP Spoofing

    IP spoofing is the crafting of Internet Protocol (IP) packets with a source IP address that has been modified to impersonate ...

SearchHealthIT

SearchDisasterRecovery

  • network disaster recovery plan

    A network disaster recovery plan is a set of procedures designed to prepare an organization to respond to an interruption of ...

  • virtual disaster recovery

    Virtual disaster recovery is a type of DR that typically involves replication and allows a user to fail over to virtualized ...

  • tabletop exercise (TTX)

    A tabletop exercise (TTX) is a disaster preparedness activity that takes participants through the process of dealing with a ...

SearchStorage

  • enterprise storage

    Enterprise storage is a centralized repository for business information that provides common data management, protection and data...

  • disk array

    A disk array, also called a storage array, is a data storage system used for block-based storage, file-based storage or object ...

  • optical storage

    Optical storage is any storage type in which data is written and read with a laser. Typically, data is written to optical media, ...

Close