Browse Definitions :
Definition

# logical equivalence

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
• OPSEC (operations security)

OPSEC (operations security) is a security and risk management process and strategy that classifies information, then determines ...

• smart contract

A smart contract is a decentralized application that executes business logic in response to events.

• compliance risk

Compliance risk is an organization's potential exposure to legal penalties, financial forfeiture and material loss, resulting ...

• email virus

An email virus consists of malicious code distributed in email messages to infect one or more devices.

• key fob

A key fob is a small, programmable device that provides access to a physical object.

• identity theft

Identity theft, also known as identity fraud, is a crime in which an imposter obtains key pieces of personally identifiable ...

• What is risk mitigation?

Risk mitigation is a strategy to prepare for and lessen the effects of threats faced by a business.

• change control

Change control is a systematic approach to managing all changes made to a product or system.

• disaster recovery (DR)

Disaster recovery (DR) is an organization's ability to respond to and recover from an event that affects business operations.

• JBOD (just a bunch of disks)

JBOD, which stands for 'just a bunch of disks,' is a type of multilevel configuration for disks.

• bare-metal restore

A bare-metal restore (also referred to as bare-metal recovery or bare-metal backup) is a data recovery and restoration process ...

• mSATA SSD (mSATA solid-state drive)

An mSATA SSD is a solid-state drive (SSD) that conforms to the mSATA interface specification developed by the Serial ATA (SATA) ...

Close