Ejercicio 1: Determine cuáles de las siguientes sentencias son una
Anuncio
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)
