Question

sinplificacion {(p->q) /\ [q->(r /\ ~s)] } -> [p -> (r v s)] porfa​

Answer 1

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: