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

Start the conversation

Send me notifications when other members comment.

SearchCompliance

• internal audit (IA)

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

• pure risk (absolute risk)

Pure risk, also called absolute risk, is a category of threat that is beyond human control and has only one possible outcome if ...

• risk assessment

Risk assessment is the identification of hazards that could negatively impact an organization's ability to conduct business.

SearchSecurity

• intrusion detection system (IDS)

An intrusion detection system (IDS) is a system that monitors network traffic for suspicious activity and issues alerts when such...

• security information and event management (SIEM)

Security information and event management (SIEM) is an approach to security management that seeks to provide a holistic view of ...

• polymorphic virus

A polymorphic virus is a harmful, destructive or intrusive type of malware that can change or 'morph,' making it difficult to ...

SearchHealthIT

• accountable care organization (ACO)

An accountable care organization (ACO) is an association of hospitals, healthcare providers and insurers in which all parties ...

• patient engagement

Patient engagement is an ideal healthcare situation in which people are well-informed about -- and motivated to be involved -- in...

• personal health record (PHR)

A personal health record (PHR) is a collection of health-related information that is documented and maintained by the individual ...

SearchDisasterRecovery

• business continuity and disaster recovery (BCDR)

Business continuity and disaster recovery (BCDR) are closely related practices that describe an organization's preparation for ...

A business continuity plan (BCP) is a document that consists of the critical information an organization needs to continue ...

• call tree

A call tree -- sometimes referred to as a phone tree -- is a telecommunications chain for notifying specific individuals of an ...

SearchStorage

• NVMe over Fibre Channel (NVMe over FC) or FC-NVMe standard

Nonvolatile memory express over Fibre Channel (NVMe over FC) -- which is implemented through the Fibre Channel-NVMe (FC-NVMe) ...

• NVMe over Fabrics (NVMe-oF)

NVMe over Fabrics (NVMe-oF) is a technology specification designed to enable nonvolatile memory express message-based commands to...

• cloud object storage

Cloud object storage is a format for storing unstructured data in the cloud.

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