Browse Definitions :

logical negation symbol

What is the 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 or the upper half of a rectangle. The arithmetic subtraction symbol (−) and tilde (~) are also used to indicate logical negation.

Illustration of the logical negation symbol
The logical negation symbol looks like a dash with a tail or the top half of a rectangle.

The negation symbol is a unary logical operator. It simply reverses the truth value of a given statement. Thus, if a statement is represented as A, then ¬A is the logical opposite or negation of A.

Thus, ¬A = not A
If A = true, ¬A = false
If A = false, ¬A = true
Also, ¬(¬A) = A

The symbol ¬ is often found within or preceding complex logical statements. However, its simplest use is with a single sentence.

If A: The sky is blue, then
¬A: The sky is not blue, or it is not true that the sky is blue

The rules for using the logical negation symbol become more complicated when the symbol appears in complex statements.

If A: The sky is blue, and
If B: The grass is green, then
¬(A V B): Neither the sky is blue nor is the grass green

Since the ~ and ¬ symbols can be used interchangeably, the above statement can also be represented logically as ~(A V B). The option for using either symbol depends on the user's preference or the context to denote negation.

Compound statements and the logical negation symbol

In ordinary, everyday language, statements can be conveyed by complete declarative sentences, such as the following:

  • The sky is blue.
  • It is raining.
  • Soccer is a popular global sport.

However, to express the logical relationships between such statements, it becomes cumbersome to write out the entire sentence at every occurrence of each statement. Therefore, specific individual statements are represented using capital letters as statement constants.

Thus, A, B and C can be used to represent the previous statements:

  • A: The sky is blue.
  • B: It is raining.
  • C: Soccer is a popular global sport.

Lowercase letters of the alphabet, beginning with p, are used as statement variables. Thus, one might say, "Consider any statement, p" or "Suppose that a pair of statements, p and q, are both true."

The logical negation symbol ¬ or ~ is one of the statement connectives or operators that can be used to form new compound statements from two or more statements. It simply reverses the truth value of any statement in front of which it appears. This statement can be simple or compound.

So, if the original is true, the ¬ statement is false. But if the original is false, the ¬ statement becomes true. Its meaning can be represented by this truth table:

p ¬p
True False
False True

Examples of ¬ with simple statements

p: The lion is roaring
¬p: The lion is not roaring

p: The sun is not shining
¬p: The sun is shining

Examples of ¬ with complex statements

p: The lion is roaring
q: The birds are chirping
¬(p V q): Neither the lion is roaring nor the birds are chirping

p: The lion is roaring
q: The birds are not chirping
¬(p V q): The lion is not roaring and the birds are chirping

The English expression "It is not the case that ..." serves the same function as the logical negation symbol. However, even the single word not is enough to convey negation.

In compound sentences, negation is always performed before logical AND and logical OR. Further, as in algebra -- according to the BODMAS rule, or order of operations -- all operations within parentheses are performed first.

ASCII code of the logical negation symbol

The American Standard Code for Information Interchange (ASCII) code, created in 1963, is a commonly used and universally accepted character encoding format for textual data in computing systems. Since 1969, ASCII has also been used as the standard for internet data.

The ASCII system uses unique values for 128 alphabetic (A through Z uppercase and lowercase letters), numeric and special characters and control codes. The ASCII code for the logical negation symbol is 170. It is part of the group of ASCII extended characters. The ¬ symbol is preceded by ® at 169 and followed by ½ at 171.

Typing the logical negation symbol on Windows systems

The ¬ symbol can be typed on Windows-based computers using the following keyboard shortcuts:

  • Hold down the Alt key on the keyboard.
  • While keeping the key pressed down, type the number 170. (As mentioned earlier, 170 is the number of the letter or symbol ¬ in the ASCII table.)
  • Let go of the Alt key.

Logical negation symbol in Unicode

The Unicode value U+00AC corresponds to the logical negation symbol ¬. The Alt code is defined as 0172; typing 0172 while holding down the Alt key will type this symbol in a Word or other document. When the Alt key is released, the symbol gets inserted in the document.

Logical negation operator in JavaScript

In JavaScript, the logical negation operator is expressed as ! (logical NOT). Also known as logical complement, the operator takes truth to falsity and vice versa. It is usually used with logical or Boolean values.

When used with non-Boolean values, it returns false if its single operand can be converted to true. Otherwise, it returns true. If the value can be converted to true, it is called truthy, and if it can be converted to false, it is called falsy.

Since the return value can always be converted to a Boolean primitive, the ! operator is considered a Boolean operator even though it can be used with operands that are not Boolean values.

See also: Mathematical symbols

This was last updated in August 2022

Continue Reading About logical negation symbol

  • network management system

    A network management system, or NMS, is an application or set of applications that lets network engineers manage a network's ...

  • host (in computing)

    A host is a computer or other device that communicates with other hosts on a network.

  • Network as a Service (NaaS)

    Network as a service, or NaaS, is a business model for delivering enterprise WAN services virtually on a subscription basis.

  • tokenization

    Tokenization is the process of replacing sensitive data with unique identification symbols that retain all the essential ...

  • messaging security

    Messaging security is a subcategory of unified threat management, or UTM, focused on securing and protecting an organization's ...

  • WebAuthn API

    The Web Authentication API (WebAuthn API) is a credential management application program interface (API) that lets web ...

  • value stream management

    Value stream management is an emerging business process intended to gauge the flow of value into business resources and ...

  • audit program (audit plan)

    An audit program, also called an audit plan, is an action plan that documents what procedures an auditor will follow to validate ...

  • blockchain decentralization

    Decentralization is the distribution of functions, control and information instead of being centralized in a single entity.

  • team collaboration

    Team collaboration is a communication and project management approach that emphasizes teamwork, innovative thinking and equal ...

  • employee self-service (ESS)

    Employee self-service (ESS) is a widely used human resources technology that enables employees to perform many job-related ...

  • learning experience platform (LXP)

    A learning experience platform (LXP) is an AI-driven peer learning experience platform delivered using software as a service (...

Customer Experience
  • Net Promoter Score (NPS)

    Net Promoter Score (NPS) is a metric that organizations use for assessing customer loyalty toward their brand, products or ...

  • B2C (business-to-consumer)

    B2C, or business-to-consumer, is a retail model where products or services move directly from a business to the end user who has ...

  • market segmentation

    Market segmentation is a marketing strategy that uses well-defined criteria to divide a brand's total addressable market share ...