Boolean Expression Evaluator

Truth tables & logic

CalculatorsFreeNo Signup
4.3(56 reviews)
All Tools

Loading tool...

About Boolean Expression Evaluator

A boolean expression evaluator that computes truth tables for logical expressions. Supports AND, OR, NOT, XOR, NAND, NOR, and IMPLIES operators. Enter expressions with up to 4 variables, view the complete truth table, and count true/false outcomes. All calculations are client-side. Essential for digital logic, computer science, and discrete mathematics.

Boolean Expression Evaluator Features

  • 7 operators
  • Up to 4 vars
  • Truth table
  • Count T/F
  • Presets
Boolean expressions: AND (∧), OR (∨), NOT (¬), XOR (⊕), NAND, NOR, IMPLIES (→). Truth tables enumerate all input combinations and their outputs. n variables → 2ⁿ rows. De Morgan's laws: ¬(A∧B) = ¬A∨¬B, ¬(A∨B) = ¬A∧¬B.

How to Use

Select an expression type:

  • Variables: A, B, C, D
  • Operators: AND, OR, NOT, XOR
  • Output: Complete truth table

Operators

  • AND: both true
  • OR: at least one true
  • XOR: exactly one true
  • NOT: inverts
  • IMPLIES: if A then B

Applications

Circuit design, database queries (WHERE clauses), programming conditionals, formal verification, and AI knowledge bases all use boolean logic.

Step-by-Step Instructions

  1. 1Select a preset or expression.
  2. 2View the truth table.
  3. 3Count true and false outcomes.
  4. 4Test different operators.
  5. 5Explore De Morgan's laws.

Boolean Expression Evaluator — Frequently Asked Questions

What is the IMPLIES operator?+

A → B is false only when A is true and B is false. It's 'if A then B'. Equivalent to ¬A ∨ B. The only falsy case is 'promise broken' (antecedent true, consequent false).

What is XOR?+

Exclusive OR: true when exactly one input is true, false otherwise. Unlike OR which is true when at least one is true. XOR is used in cryptography (one-time pad) and error detection.

How many rows does a truth table have?+

2ⁿ rows for n variables. 2 variables: 4 rows. 3: 8 rows. 4: 16 rows. Each row represents one combination of true/false assignments to all variables.

More Calculators Tools

Explore all 639 other calculators tools available on Generatr

1-Sample Z-Test Calculator2-Sample Z-Test Calculator3D Surface Area CalculatorA/B Testing Significance CalculatorAbsolute Value CalculatorAbundant Number CheckerAccelerated Aging CalculatorAchromatic Number CalculatorAcyclic Chromatic Number CalculatorAdditive Persistence CalculatorAge CalculatorAging Test CalculatorAlbertson Index CalculatorAlgebraic Connectivity CalculatorAliquot Sequence CalculatorAliquot Sum CalculatorAlternating Series Test CalculatorAmicable Number FinderAnnuity CalculatorAPY CalculatorAquarium CO2 Drop CheckerArea CalculatorArea Under Curve CalculatorArithmetic Sequence CalculatorArmstrong Number CalculatorASCVD Risk CalculatorAspect Ratio CalculatorAtom Bond Connectivity CalculatorAugmented Eccentric Connectivity CalculatorAugmented Zagreb Index Calculator
View all 639 calculators tools
Share this tool: