Esto es un ejemplo básico de lo que se necesita para que una interpretación formula_1 sea modelo (que según las condiciones de la interpretación den 1 como resultado final) en lógica proposicional.