What is logical equivalence? - Definition from WhatIs.com

Definition

logical equivalence

Part of the Computing fundamentals glossary:

Logical equivalence is a type of relationship between two statements or sentences in propositional logic or Boolean algebra. The relation translates verbally into "if and only if" and is symbolized by a double-lined, double arrow pointing to the left and right ( ). If A and B represent statements, then A B means "A if and only if B."

The statement A B is exactly the same as

(A B) * (B A)

where the asterisk (*) represents the logical AND operation, and the right-pointing, double-lined arrow ( ) represents logical implication.

Logical equivalence works both ways. Thus,

(A B) (B A)

Logical equivalence is important in the design of digital circuits. Several circuits may be logically equivalent, in that they all have identical truth table s. The goal of the engineer is to find the circuit that performs the desired logical function using the least possible number of gates. This will result in optimal operating efficiency, reliability, and speed.

Also see Mathematical Symbols .

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

Related Terms

Definitions

  • telepresence

    - Telepresence is a sophisticated form of robotic remote control in which a human operator has a sense of being in a remote location so that the experience resembles virtual reality (VR). (WhatIs.com)

  • gravity wave (or gravitational wave)

    - A gravity wave (or gravitational wave) is a ripple in the curvature of the space-time continuum (the enmeshed combination of our three perceived physical dimensions, plus time) created by the movem... (WhatIs.com)

  • deprecated

    - In dictionaries, deprecated is a term used to indicate a pronunciation or usage that is acknowledged but discouraged. (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 equivalencePowered 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.