p=1 ; q=0 y se propone formula_1, si para que sean modelo deben cumplirse 'p y q' simultáneamente, entonces la expresión no es modelo además de insatisfactible, es decir: