LOGICA 45

94.

-q

R: -pv-r

95. Determinar una proposición x, la más simple de manera que el circuito lógico
siguiente:

sea equivalente al circuito:

L___,_)
--]--o_l-
q

Dar una demostración formal completa para cada uno de los razonamientos siguientes:

96 a) Demostrar:x<6vz>6 b) Demostrar:-(x:yvy / l)
l. (x< 7 n x=5)-+(z>x v y<z) l.Y * l-+(y< I vy:l)
2.x<6+(x=5nx<7)
^x / 3)-+x=0
2.(x+3