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
Matemáticas,
hace 5 meses
Matemáticas,
hace 5 meses
Filosofía,
hace 5 meses
Musica,
hace 10 meses
Castellano,
hace 1 año