test_to_a_normal_form.py 4.96 KB