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.

By submitting you agree to receive email from TechTarget and its partners. If you reside outside of the United States, you consent to having your personal data transferred to and processed in the United States. Privacy

Please create a username to comment.

-ADS BY GOOGLE

File Extensions and File Formats

Powered by:

SearchCompliance

  • smart contract

    A smart contract, also known as a cryptocontract, is a computer program that directly controls the transfer of digital currencies...

  • risk map (risk heat map)

    A risk map, also known as a risk heat map, is a data visualization tool for communicating specific risks an organization faces. A...

  • internal audit (IA)

    An internal audit (IA) is an organizational initiative to monitor and analyze its own business operations in order to determine ...

SearchCloudProvider

  • cloud ecosystem

    A cloud ecosystem is a complex system of interdependent components that all work together to enable cloud services.

  • cloud services

    Cloud services is an umbrella term that may refer to a variety of resources provided over the internet, or to professional ...

  • uncloud (de-cloud)

    The term uncloud describes the action or process of removing applications and data from a cloud computing platform.

SearchSecurity

  • cyberextortion

    Cyberextortion is a crime involving an attack or threat of an attack coupled with a demand for money or some other response in ...

  • Cybercrime

    Cybercrime is any criminal activity that involves a computer, networked device or a network.

  • National Security Agency (NSA)

    The National Security Agency is the official U.S. cryptologic organization of the United States Intelligence Community under the ...

SearchHealthIT

  • Practice Fusion

    Practice Fusion Inc. is a San Francisco-based company that developed a free electronic health record (EHR) system available to ...

  • RHIA (Registered Health Information Administrator)

    An RHIA, or registered health information administrator, is a certified professional who oversees the creation and use of patient...

  • 21st Century Cures Act

    The 21st Century Cures Act is a wide-ranging healthcare bill that funds medical research and development, medical device ...

SearchDisasterRecovery

SearchStorage

  • storage medium (storage media)

    In computers, a storage medium is any technology -- including devices and materials -- used to place, keep and retrieve ...

  • Random Access Memory (RAM)

    Random Access Memory (RAM) is the hardware in a computing device where the operating system (OS), application programs and data ...

  • floating gate transistor (FGT)

    A floating gate transistor (FGT) is a complementary metal-oxide semiconductor (CMOS) technology capable of holding an electrical ...

SearchSolidStateStorage

  • hybrid hard disk drive (HDD)

    A hybrid hard disk drive is an electromechanical spinning hard disk that contains some amount of NAND Flash memory.

Close