Calculator Form
Example Data Table
| Mode | Variables | Input | Don't cares | Expected simplified idea |
|---|---|---|---|---|
| Expression | A,B,C | A'B + AC + B'C | none | Compact SOP and matching POS |
| Minterms | A,B,C | 1,3,5,7 | none | C |
| Minterms | A,B,C,D | 0,2,5,7,8,10,13,15 | 1,9 | Reduced grouped expression |
| Maxterms | A,B,C | 0,2,4,6 | none | C |
Formula Used
Complement: A' means NOT A. It changes 1 to 0 and 0 to 1.
AND: A·B equals 1 only when A and B are both 1.
OR: A + B equals 1 when at least one input is 1.
XOR: A ^ B equals 1 when exactly one input is 1.
SOP: The sum of products form joins true minterm groups with OR.
POS: The product of sums form joins false maxterm groups with AND.
Combination rule: two terms that differ in one bit combine by replacing that bit with a dash.
How to Use This Calculator
Choose expression mode when you already have a Boolean formula.
Enter variables in the order used for truth table indexes.
Choose minterm mode when you know the true output rows.
Choose maxterm mode when you know the false output rows.
Add don't care terms only when those rows may be ignored.
Select SOP, POS, or both output forms.
Press the submit button to place the result above the form.
Use CSV or PDF buttons to save your result.
Article: Boolean Expression Simplification
Purpose of Simplification
Boolean simplification turns long logical statements into shorter equivalent forms. It helps students, circuit designers, and programmers reduce repeated operations. A shorter expression is easier to read. It is also easier to test. This calculator accepts direct expressions, minterms, maxterms, and optional don't care values.
Truth Table Method
The tool builds a truth table from the selected variables. Each row represents one possible input state. The result column shows whether the function is true or false. From those rows, the program identifies minterms for true outputs and maxterms for false outputs. It then compares terms that differ by one bit. This process removes variables that do not affect a group.
Prime Implicant Selection
The calculator uses a Quine McCluskey style method. It groups binary terms by the count of ones. Matching groups are combined into patterns with dash symbols. A dash means that variable can be either zero or one. Prime implicants are then checked against all required terms. Essential implicants are selected first. Remaining terms are covered by the smallest available combination.
Accepted Logic Symbols
You can enter expressions using common symbols. Use plus for OR. Use a dot, star, or ampersand for AND. Use an apostrophe, exclamation mark, tilde, or not sign for NOT. Parentheses can control order. The parser also supports XOR for comparisons where exactly one input is true.
Practical Benefits
Boolean simplification is useful in digital design. It can reduce gates in combinational circuits. Fewer gates may mean cleaner diagrams, lower cost, and simpler troubleshooting. It also helps when writing conditional rules in software. A compact rule makes testing easier because each variable has a clearer role.
Saving and Checking
The example table gives ready inputs. These examples show expressions, minterm lists, and don't care cases. They are useful for checking output format before using your own data. Download buttons help save the simplified result. CSV is useful for spreadsheets. PDF is useful for reports and assignments.
Choosing the Right Form
Always confirm the simplified expression with the truth table. Some forms may look different but remain equivalent. SOP focuses on true rows. POS focuses on false rows. Both are valid, depending on your circuit or lesson requirement. Choose variable order carefully. It changes row numbers, minterm labels, and displayed binary patterns, while the logical relationship stays exactly the same for every check.
FAQs
What does this Boolean calculator simplify?
It simplifies Boolean expressions, minterm lists, and maxterm lists. It can return SOP, POS, patterns, truth table data, and downloadable reports.
Which symbols can I use for NOT?
You can use an apostrophe, exclamation mark, tilde, or the word NOT. For example, A', !A, ~A, and NOT A are accepted.
Which symbols can I use for AND?
You can use a dot, star, ampersand, or the word AND. The calculator also reads implicit AND, such as AB or A(B+C).
Which symbols can I use for OR?
You can use plus, vertical bar, or the word OR. Parentheses help control mixed operations and make large expressions easier to parse.
What are don't care terms?
Don't care terms are input rows where either output is acceptable. They help create shorter expressions, but they must not overlap with fixed minterms or maxterms.
What is SOP output?
SOP means sum of products. It creates product terms for true output groups, then joins those terms with OR signs.
What is POS output?
POS means product of sums. It groups false output rows, creates sum terms, and joins those terms with AND signs.
Why is variable order important?
Variable order controls binary row numbers. Minterm 3 means different input states when variables are arranged differently, so set the order before simplifying.