number of variables in formula with truth table is now limited to 10