Forma_normal_disjuntiva loading ...