One tool that can be used is simplify logic expression calculator.
Do math equations
Obtain detailed step-by-step solutions
Figure out mathematic problem
Do mathematic equations