Академический Документы
Профессиональный Документы
Культура Документы
SECCIÓN 2.3
1. p ^ p , p _ p
2. p _ p , p ^ p
3. p ) q ^ p ) q
4. [(p ) q) ) p] ) q
5. Ley Dual de De Morgan: ⇠ (p ^ q) , (⇠ p) _ (⇠ q)
6. Ley Dual de De Morgan: ⇠ (p _ q) , (⇠ p) ^ (⇠ q)
7. Ley distributiva: p ^ (q _ r) , (p ^ q) _ (p ^ r)
8. Ley distributiva: p _ (q ^ r) , (p _ q) ^ (p _ r)
LÓGICA MATEMÁTICA Y CONJUNTOS 23
IV. Las proposiciones que son Contradicciones y las Tautologıás (leyes lógicas) son muy importante
para los razonamientos y la programación. Un enunciado es una Tautologı́a si es verdadero para
todos los valores de verdad que se asignen, es decir, es verdadero independiente de los valores
de la entrada. Mientras que, la proposición se llama contradicción si siempre la salida es falsa
sin importar los valores de entrada. Establecer si las siguientes proposiciones son tautologı́as o
contradicciones.
1. p ) q ^ q ) p
2. [p _ (⇠ q)] ) q
3. (p ^ q) ) p
4. Sabiendo que p = 0 encuentre ⇠ (p _ q) ^ (p ) r)
5. (p ) q) ^ p ^ (⇠ q)
6. p ) (p _ q)
7. [p ^ (q ^ r)] ) [(p ^ q) _ (p ^ r)]
8. Sabiendo que p = 1 encuentre ⇠ (p _ q) ^ (p ) r)
9. p _ (⇠ p) ^ q _ (⇠ q)
10. [(p ^ q) , p] , (p , q)
11. Sabiendo que p = 0 determine [p _ (⇠ q)] ) q
12. ⇠ p ) (p _ (⇠ q))
13. (p ^ q) , (p ) q)
14. p ^ (q _ r) ) (p ^ q) _ (p ^ r)
15. p ^ (q ^ r) ) (p _ q) _ (p _ r)