Complement of Boolean Expressions Calculator

Calculator Inputs

Boolean expression

Use + for OR, * for AND, and !, ~, or apostrophe for NOT.

Variable order

Optional. Leave blank to detect variables automatically.

Variable token style

Complement notation

Displayed truth table rows

Export file name

Sample expression

Simplification

Show simplified SOP when practical

Sample loader

Example Data Table

Expression	Complement	Rule Used	Meaning
A + B	A' · B'	De Morgan OR rule	Both inputs must be false.
A · B	A' + B'	De Morgan AND rule	At least one input must be false.
(A + B) · C	(A' · B') + C'	Group complement	The outside AND becomes OR.
0	1	Constant complement	False changes to true.

Formula Used

Main complement formula: F' = NOT(F)

OR rule: (A + B)' = A' · B'

AND rule: (A · B)' = A' + B'

Double negation rule: (A')' = A

Constant rules: 0' = 1 and 1' = 0

Truth table rule: For every input row, complement output = 1 - original output.

How to Use This Calculator

Enter a Boolean expression in the expression box.
Choose whether adjacent letters should be split into single variables.
Add a custom variable order when needed.
Select your preferred complement notation.
Choose how many truth table rows should appear on the page.
Press the calculate button.
Review the complement, De Morgan form, minterms, maxterms, and truth table.
Download the CSV or PDF file for records.

About Boolean Complements

A Boolean complement is the opposite value of a logic expression. When the original expression is true, its complement is false. When the original expression is false, its complement is true. This idea is central in digital design, switching algebra, truth tables, and circuit checking.

Why This Calculator Helps

Manual complementation can become confusing when expressions include nested brackets, several variables, constants, and mixed operators. This calculator checks the expression, builds a truth table, applies negation, and shows useful summaries. It also lists minterms and maxterms for the complement. Those lists help students compare algebraic work with tabular results.

Supported Logic Style

You can enter common symbols. Use plus or vertical bar for OR. Use star, ampersand, dot, or adjacency for AND. Use apostrophe, exclamation mark, or tilde for NOT. Parentheses may be used for grouping. Constants zero and one are supported. Variables may be single letters or longer names.

De Morgan Method

Complementing an expression is more than placing a bar over everything. De Morgan rules push negation through groups. The complement of A plus B becomes A prime times B prime. The complement of A times B becomes A prime plus B prime. Double negation cancels. Constants also flip. Zero becomes one. One becomes zero.

Truth Table Verification

The truth table is the safest test. The calculator evaluates the original expression for every input combination. Then it flips each result to form the complement column. This makes errors easy to spot. If a simplified form is shown, it should match every complement output row.

Practical Uses

Complements are used while designing gates, simplifying control logic, checking conditional rules, and converting between active high and active low signals. They also appear in set theory, database filters, and programming conditions. A clear complement can reduce circuit parts and improve readability.

Best Practices

Use parentheses when the expression is complex. Name variables clearly. Compare the algebraic result with the truth table. Export the table when you need proof for homework, documentation, or review. Start with smaller expressions before testing large formulas.

Limits

Very large expressions create many rows because each added variable doubles table length. Keep variable counts practical for quick browser use and cleaner exports during study.

FAQs

What is the complement of a Boolean expression?

It is the opposite output of the original expression. If the original result is 1, the complement is 0. If the original result is 0, the complement is 1.

Which operators can I use?

You can use + or | for OR, * or & for AND, and !, ~, or apostrophe for NOT. Parentheses are supported for grouping.

Does the calculator apply De Morgan rules?

Yes. It transforms AND groups into OR groups, OR groups into AND groups, flips constants, and removes double negations where possible.

Can it create a truth table?

Yes. It evaluates every input combination for the detected variables. It then displays both the original result and the complement result.

What are minterms?

Minterms are row numbers where the complement output equals 1. They help describe the complement as a sum of selected input rows.

What are maxterms?

Maxterms are row numbers where the complement output equals 0. They help describe the complement using product of sums notation.

Why should I choose variable order?

Variable order controls truth table column order and row numbering. Use it when your class, book, or project follows a specific order.

Can I export the result?

Yes. Use the CSV button for spreadsheet data. Use the PDF button for a compact report with formulas, summaries, and table rows.