Universidad Nacional Experimental de Guayana Coordinacin de Informtica Introduccin a la Informtica Facilitador: Ing Flix Mrquez, fmarquez@uneg.edu.ve; marquezfelix@cantv.

net;

Problemas Propuestos
1) Realice la tabla de la Verdad de las siguientes expresiones: a) P and ((Q or S) or R) (*) ; k) Not( P or S ) and (Q or S) b) S or not(T and Q) ; l) (P and (Q or not(S))) or S c) Not (R) and not(S and R) ; m) Not (R) and not(S and R) d) (S or R) and not(T or R) ; n) S and ((T and not(S)) or S) e) W and (not(T) and Q) ; o) P and ((Q or S) or not S) f) Not (R) and (S and Not( R or P)) ; p) Not(R) and not(S and not(R)) g) (S or R) and not(T or R) ; q) (S and (T and not(S)) or S h) P or (not(T) and Q) ; r) P and not((Q or S) or S) i) (S and not (R)) and not(T or R) ; s) (S and (T and not(S)) or S j) Not(T) and (not(T) and Q) ; t) (P and (Q or S)) and not( S) 2) Verifique si las siguientes expresiones son tautologas o contradicciones: a) (Not(P) and P) or ( Q or Not(Q)) ; e) Q or not( Q ) (*) b) ( R or Not(S)) and (Not( R) or S) ; f) (Not(p) and Not(Q))or Verdad c) ( (Not(P) and Q) and P) ; g) Not(S and P) or not(not(p) and p) d) ( (R or Q) or not ( R )) ; h) (P or Q or P) and not (P or Q or P) i) Not(S) and not(S) ; j) (Not(S) or S) and not(S) i) Not(P) or not(P) ; j) (Not(P) or P) or not(P)

3) Verifique si las siguientes equivalencias son correctas: a) P and (Q or W) (P and Q) or (P and W) (*) b) P or (Q and W) (P and W) or (P or Q) c) ( (P and Q) or (P and W) or Verdad ) P d) Verdad (P or Verdad) e) P or Q or T T or Q or P f) ((P and P) or S)) and not(P) S) g) not(P and Q) not (p) or not(q) h) not(P) and not(Q) not(P or Q) (*) Ejercicios Ejemplo.

Introduccin a la Informtica Unidad II

Facilitador: Ing. Flix Mrquez.

4) Calcule la ecuacin, considerando las validaciones requeridas. 4.a.-

4.b.-

4.c.-

4.d.-

4..e

4.f.-

4.g.-

4.h.-

Introduccin a la Informtica Unidad II

Facilitador: Ing. Flix Mrquez.

5) Evaluar las expresiones. a) b) c) d) e) f) p p+1 or (t q) para p=1,t=3,q=4. ((q-3r) (r + 1) ) or verdad, para q=3,r=3. p+9(z+1) 3, para p=z=2. 3p+9(z+1) 3+p and (t q-1), para p=z=2, t=2p,q=2t. 3p+9(5z-1) (a-2b), para p=z=2,a=p,b=2a (250-1250x-y)>1 or falso , para y=3,x=y/2.

Introduccin a la Informtica Unidad II

Facilitador: Ing. Flix Mrquez.