sinplificacion {(p->q) /\ [q->(r /\ ~s)] } -> [p -> (r v s)] porfa
Respuestas a la pregunta
Contestado por
0
Respuesta:
EJERCICIO 6.07 Comprobar por tablas de verdad si las siguientes fbfs son o no simultáneamente satisfa- cibles: ¬(p → q) p ∨ q p q ¬(p → q) p ∨ q V V F V V F V V F V F V F F F F Las dos fbfs son simultáneamente satisfacibles, ya que son V a la vez en la 2ª interpre- tación. EJERCICIO 6.08 Comprobar por tablas de verdad si las siguientes fbfs son o no simultáneamente satisfa-
Tamaño del archivo: 152KB
Explicación paso a paso:
Otras preguntas