LTL_Normal_Form.Normal_Form_Complexity