Below you can enter a logic expression using variables (a-z) and the operators AND (& or concatenation), OR (+), and NOT (').
After selecting a normal form to transform to, and step limit, press Enter or Return to see the step-by-step transformation.
The input here is limited to 5 calculation steps on purpose.
If you bypass this limit, by either editing the HTML source code, or changing the step limit input below,
the calculations may become more computationally intensive and take longer to complete.
(The step limit is counted as the steps between the input expression and the final expression.)