Combined truth_table and normal_form, renamed propositional_logic and moved
"L" to propositional_logic; combined random_formula and formula.
generate_random_formula is nowa method of theLanguage class:
Language.random_formula(range, possible_atoms)
merged some files