Simplify the following expression: (A & B) | (A & ... - Logic Exercise | Logic Calculator

Skip to content

Logic Calculator

Calculator Synthesis Learn Dictionary Exercises

Menu

Calculator Synthesis Learn Dictionary Exercises

Theme

Language

0:00

Difficulty: AdvancedCategory: Boolean AlgebraType: Simplification

Simplify the following expression:

(A ∧ B) ∨ (A ∧ ¬B)

Logical expression

Insert:

Learn the theory

The guides that explain what this exercise practices.

Karnaugh MapsSimplify Boolean expressions by eye: how the grid is ordered, how to group the ones and the zeros, and how to read the minimal form off the map.
Introduction to Boolean AlgebraDiscover the mathematical foundations of Boolean algebra, its laws and theorems, and its applications in digital systems and computer science.

Related Exercises

Difficulty: AdvancedCategory: Boolean AlgebraType: Equivalence CheckExpress the biconditional A <-> B using only AND, OR, and NOT operators.
Difficulty: AdvancedCategory: Boolean AlgebraType: Equivalence CheckExpress the exclusive OR of A and B using only AND, OR, and NOT operators. XOR…
Difficulty: AdvancedCategory: Boolean AlgebraType: SimplificationConvert the following expression to Disjunctive Normal Form (DNF): (A -> B) & C…
Difficulty: BeginnerCategory: Boolean AlgebraType: Multiple ChoiceWhat is the result of: true AND false?

← PreviousSimplify the following expression using the consensus theorem: (A & B) | (!A &…Difficulty: AdvancedCategory: Boolean AlgebraType: Simplification Next →Simplify the following expression: !(A & !B) & !(!A | B)Difficulty: AdvancedCategory: Boolean AlgebraType: Simplification

Logic Calculator

Comprehensive logic calculator, propositional calculator, and Boolean calculator for analyzing logical expressions, generating truth tables, and working with predicate logic.

Learn

About
Learn
Introduction
Dictionary
Exercises
Worked proofs

Support

FAQ
Feedback
Sponsors
Buy us a coffee (opens in a new tab)

Legal

Privacy Policy
Terms of Service

© 2026 Infobits®. All rights reserved