- Read logical formulas and draw up a truth table
- Define fictional variables
- Determine if a formula takes the opposite value on opposite sets of variables
- Convert formula from infix notation to postfix
- Find insignificant parentheses
- Make up PCNF and PDNF