p=1 ; q=0 y se propone formula_3, si para que sean modelo deben cumplirse 'p o q', entonces la expresión es modelo, además de satisfactible, ya que: