Browse Definitions :

logical equivalence

What is logical equivalence?

Logical equivalence is the condition of equality that exists between two statements or sentences in propositional logic or Boolean algebra. The relationship between the two statements translates verbally into "if and only if." In mathematics, logical equivalence is typically symbolized by a double arrow (⟺ or ⟷) or triple lines (≡). The double arrow is sometimes referred to as an IIF function.

This expression provides an example of logical equivalence between two simple statements:

A ∨ B ⟺ B ∨ A

The expression includes the statements A B and B A, which are connected together by the IIF function. Each statement uses the OR Boolean function (∨) to indicate an inclusive disjunction between variables A and B. This means that the statement returns a true value if either variable is true or if both variables are true, but it returns a false value if both variables are false. The expression in its entirety is effectively stating that the statement "variable A or variable B" is logically equivalent to the statement "variable B or variable A."

How is logical equivalence determined?

An expression's statements are considered logically equivalent if they return identical truth values for every row in a truth table. The truth table shown in Figure 1 reveals the truth values for the statements in the example expression given previously.

logical equivalence truth table for expression A ∨ B to B ∨ A
Figure 1. Truth table for expression A ∨ B to B ∨ A

The table includes one column for each variable (A and B) and one row for each possible combination of true and false values for those variables. It also includes a column for each statement's evaluation based on the variable values. The statement columns are highlighted in blue for easy comparison.

The truth values in the statement columns are identical in all rows, so the statements are considered to be logically equivalent. However, if the second statement were changed from B A to B ¬A, the truth table would look somewhat different, as shown in Figure 2.

logical equivalence truth table for expression B ∨ A to B ∨ ¬A
Figure 2. Truth table for expression B ∨ A to B ∨ ¬A

The modified statement (B ¬A) uses the NOT Boolean function (¬) to indicate a logical negation. This means that variable A returns true when it is false and returns false when it is true. As a result, the truth values in columns A B and B ¬A are no longer identical, so the statements are not logically equivalent.

A truth table can also be used for more complex statements when determining whether they are logically equivalent. For example, a truth table for the statements A (B C) and (A B) (A C) would include eight rows that map out the true/false combinations for variables A, B and C. It is shown in Figure 3.

Logical equivalence truth table for complex statement with variables A, B and C
Figure 3. Truth table for complex statement with variables A, B and C

The statements shown in Figure 3 use both the OR Boolean function and the AND Boolean function (∨), which indicates a logical conjunction between variables. As a result, the compared variables must be true for the function to return a value of true.

Unlike the preceding examples, the two statements in Figure 3 are constructed much differently from each other. However, the truth values in the statement columns are still the same in all rows, so the statements are considered to be logically equivalent. Use the IIF function to show their logical equivalence within a single expression:

A ∨ (B ⋀ C) ⟺ (A ∨ B) ⋀ (A ∨ C)

In computing, logical equivalence is important in the design of digital circuits. If multiple circuits are logically equivalent, they have identical truth table values.

An engineer can use this information to identify the circuits that perform the desired logic using the fewest number of gates, which can help optimize operating efficiency, reliability and speed.

Learn how the relationship between humans and computers has evolved, see how logic games have advanced AI thinking and check out commonly used mathematical symbols and how they're used with sample expressions.

This was last updated in January 2023

Continue Reading About logical equivalence

  • SD-WAN security

    SD-WAN security refers to the practices, protocols and technologies protecting data and resources transmitted across ...

  • net neutrality

    Net neutrality is the concept of an open, equal internet for everyone, regardless of content consumed or the device, application ...

  • network scanning

    Network scanning is a procedure for identifying active devices on a network by employing a feature or features in the network ...

  • virtual firewall

    A virtual firewall is a firewall device or service that provides network traffic filtering and monitoring for virtual machines (...

  • cloud penetration testing

    Cloud penetration testing is a tactic an organization uses to assess its cloud security effectiveness by attempting to evade its ...

  • cloud workload protection platform (CWPP)

    A cloud workload protection platform (CWPP) is a security tool designed to protect workloads that run on premises, in the cloud ...

  • Regulation SCI (Regulation Systems Compliance and Integrity)

    Regulation SCI (Regulation Systems Compliance and Integrity) is a set of rules adopted by the U.S. Securities and Exchange ...

  • strategic management

    Strategic management is the ongoing planning, monitoring, analysis and assessment of all necessities an organization needs to ...

  • IT budget

    IT budget is the amount of money spent on an organization's information technology systems and services. It includes compensation...

  • ADP Mobile Solutions

    ADP Mobile Solutions is a self-service mobile app that enables employees to access work records such as pay, schedules, timecards...

  • director of employee engagement

    Director of employee engagement is one of the job titles for a human resources (HR) manager who is responsible for an ...

  • digital HR

    Digital HR is the digital transformation of HR services and processes through the use of social, mobile, analytics and cloud (...

Customer Experience
  • chatbot

    A chatbot is a software or computer program that simulates human conversation or "chatter" through text or voice interactions.

  • martech (marketing technology)

    Martech (marketing technology) refers to the integration of software tools, platforms, and applications designed to streamline ...

  • transactional marketing

    Transactional marketing is a business strategy that focuses on single, point-of-sale transactions.