test_to_a_normal_form.py 5.73 KB