Create TABLE_terms_to_dnf.h