LTL_Normal_Form.Normal_Form_Code_Export