Ejercicio 1: Determine cuáles de las siguientes sentencias son una

Diseño de Circuitos Lógicos - Diseño Lógico
TRABAJO PRÁCTICO Nº 1
Ejercicio 1: Determine cuáles de las siguientes sentencias son una proposición.
a) 2+5=9
b) Para algún entero positivo n, 19340=n * 17
c) La diferencia de dos primos.
Ejercicio 2: Evalúe las siguientes proposiciones teniendo en cuenta que:
p=F,
q=T,
r=F
a) p ∨ q
b)
p ∨ (q ∧ r )
c) ( p ∨ q) ∧ ( p ∨ r )
d) p ∨ q
e) ( p ∨ r ) ∧ (q ∨ r ) ∨ (r ∨ p)
Ejercicio 3: Escriba la tabla de verdad de las siguientes proposiciones.
a) ( p ∧ q )
b) ( p ∧ q ) ∨ ( p ∨ q )
c) ( p ∧ q ) ∨ (q ∨ r )
d) ( p ∧ q ) ∨ (r ∧ p )
Ejercicio 5: Encuentre el valor de cada una de las siguientes proposiciones
condicionales sabiendo que: p: V, q:V, r: F y s: V.
a) ( p → q) ∧ (q → r )
b) p → (q → r )
Ejercicio 6: Para cada una de las siguientes proposiciones determine cuándo P ≡Q
a) P = p, Q = p ∨ q
b) P = ( p → q ) ∧ (q → r ), Q = p → r
Ejercicio 7: Demostrar que
p↔q ⇔ (p→q) ∧ (q→p)