Proyecto inicial (contiene dnfmonotonas)