generating random propositional formulas