Boolean Expressions Calculator

The simplification of Boolean Equations can use different methods: besides the classical development via associativity, commutativity, distributivity, etc., Truth tables or Venn diagrams provide a good overview of the expressions.

dCode allows several syntaxes:

Algebraic notation

!(ab(c+!d))+!b with implicit multiplication ab = a AND b and ! for logical NOT.

Literal notation

Example: NOT (a AND b AND (c OR NOT d)) OR NOT b

There may be several minimal representations for the same expression, dCode provides a solution and output an algebraic notation.

In logic, it is possible to use different formats to ensure better readability or usability.

The normal disjunctive form (DNF) uses a sum of products:

Example: (a&&c)||b

The normal conjunctive form (CNF) uses a product of sums:

Example: (a||b)&&(b||c)

The calculation steps such as a human imagine them do not exist for the solver. The operations performed are binary bit-by-bit and do not correspond to those performed during a resolution with a pencil and a paper.