Ejercicios de logica

Seguros

Si el vehículo queda inmovilizado durante 48 horas y las reparaciones han de durar 8 horas o más, la compañía de seguros pone a disposición de cada uno de los asegurados que viajaban en el vehículo, un billete de trén (1ª clase) o de avión (clase turista).
(P Y Q) -> (R v S)

Formalización y Tabla de Verdad de Seguros
(p and q) -> (r v s)

P Q R S | (P & Q) ->(R v S)
---------+--------------------
1 1 1 1 | 1 *1 1
1 1 1 0 | 1 *1 1
1 1 0 1 | 1 *1 1
1 1 0 0 | 1 *0 0
1 0 1 1 | 0 *1 1
1 0 1 0 | 0 *1 1
1 0 0 1 | 0 *1 1
1 0 0 0 | 0 *1 0
0 1 1 1 | 0 *1 1
0 1 1 0 | 0 *1 1
0 1 0 1 | 0*1 1
0 1 0 0 | 0 *1 0
0 0 1 1 | 0 *1 1
0 0 1 0 | 0 *1 1
0 0 0 1 | 0 *1 1
0 0 0 0 | 0 *1 0


Tablas

Alfonso Guerra

Si esos tres ministros se han saltado a Alfonso Guerra a la torera, entonces lo han hecho con permiso de Felipe González.Pero si Felipe González les ha dado permiso, entonces unade dos: o quiere que esos ministros se precipiten al abismo o quieren que le ayuden a empujar a Alfonso Guerra al precipicio. Por consiguiente, como parece evidente que los tres ministros intentaron saltarse a Alfonso Guerra (dando rodeos para no ser detectados por el radar de Guerra), entonces, o bien Felipe González quiere que los 3 ministros se precipiten al abismo, o bien quiere que le ayuden aprecipitar a Alfonso Guerra al precipicio, o bien quiere que se precipiten ámbos (Guerra-Ministros) a la vez.

Formalización y Tablas de Verdad sobre Alfonso Guerra
((p -> q) and (q -> r v s)) -> ((p -> r v s))

P Q R S | ((P -> Q) & (Q -> (R v S))) -> (P -> (R v S))
---------+-----------------------------------------------
1 1 1 1 | 1 1 11 *1 1 1
1 1 1 0 | 1 1 1 1 *1 1 1
1 1 0 1 | 1 1 1 1 *1 1 1
1 1 0 0 | 1 0 0 0 *1 0 0
1 0 1 1 | 0 0 1 1 *1 1 1
1 0 1 0 | 0 0 1 1 *1 1 1
1 0 0 1 | 0 0 1 1 *1 1 1
1 00 0 | 0 0 1 0 *1 0 0
0 1 1 1 | 1 1 1 1 *1 1 1
0 1 1 0 | 1 1 1 1 *1 1 1
0 1 0 1 | 1 1 1 1 *1 1 1
0 1 0 0 | 1 0 0 0 *1 1 0
0 0 1 1 | 1 1 1 1 *1 1 1
0 0 1 0 | 1 1 1 1*1 1 1
0 0 0 1 | 1 1 1 1 *1 1 1
0 0 0 0 | 1 1 1 0 *1 1 0


Tablas
Autoenterramiento

Si acepto el mundo que me ofrecen y soy feliz así, entonces empiezo a cavar mi propia sepultura; o bien, si no soy feliz así, y veo pocas posibilidades de cambiar este mundo, emprendo asimismo mi autoenterramiento.Formalización y Tablas de Verdad sobre Autoenterramiento
(p and q -> r) v (not q and s) -> r)

P Q R S | ((P & Q) -> R) v ((~Q & S) -> R)
---------+----------------------------------
1 1 1 1 | 1 1 *1 0 0 1
1 1 1 0 | 1 1 *1 0 0 1
1 1 0 1 | 1 0 *1 0 0 1
1 1 0 0 | 1 0 *1 0 0 11 0 1 1 | 0 1 *1 1 1 1
1 0 1 0 | 0 1 *1 1 0 1
1 0 0 1 | 0 1 *1 1 1 0
1 0 0 0 | 0 1 *1 1 0 1
0 1 1 1 | 0 1 *1 0 0 1
0 1 1 0 | 0 1 *1 0 0 1
0 1 0 1 | 0 1 *1 0 0 1
0 1 0 0 | 0 1 *1 0 0 1
0 0 1 1 |...