El predicado codice_1 (es decir, un operador de paridad 2 (que recibe 2 argumentos) y de nombre codice_2 ) denota conjunción de objetivos, y el operador codice_3 denota disyunción.