Introduction - If you have any usage issues, please Google them yourself
Mathematical logic
(1) to determine whether the expression formula.
(2) seek the formula of the sub-formulas.
(3) the removal of the double negatives in the formula.
(4) remove the formula implicate.