Matemáticas : Docente: Prof Torres Villacreses Medardo Angel

Integrantes:
◉Maldonado Soriano Isaac Josue
◉Magallon Macio Maryel Renata
◉Silva Mina Helene Justhin

Actividad Asincrónica
Formular formas proposicionales de 4,5 y 6 proposiciones y construir su respectiva tabla de verdad

Forma Proposicional: 4
[(p → ¬q) ⋀ (r → ¬s)] ⋀ ¬ r
A: (p → ¬q) B: (r → ¬s)

p q r s ¬q ¬r ¬s p→¬q r→ ¬s A⋀B A ⋀ B ⋀ ¬r
0 0 0 0 1 1 1 1 1 1 1
0 0 0 1 1 1 0 1 1 1 1
0 0 1 0 1 0 1 1 1 1 0
0 0 1 1 1 0 0 1 0 0 0
0 1 0 0 0 1 1 1 1 1 1
0 1 0 1 0 1 0 1 1 1 1
0 1 1 0 0 0 1 1 1 1 0
0 1 1 1 0 0 0 1 0 0 0
1 0 0 0 1 1 1 1 1 1 1
1 0 0 1 1 1 0 1 1 1 1
1 0 1 0 1 0 1 1 1 1 0
1 0 1 1 1 0 0 1 0 0 0
1 1 0 0 0 1 1 0 1 0 0
1 1 0 1 0 1 0 0 1 0 0
1 1 1 0 0 0 1 0 1 0 0
1 1 1 1 0 0 0 0 0 0 0
Forma Proposicional: 5
{ [(¬p ⋀ ¬q) → (r ↔ s)] } ⋀ (s → ¬ t)

p q r s t ¬p ¬q ¬t ¬p⋀¬q r↔s A→B B→T A→B⋀C

0 0 0 0 0 1 1 1 1 1 1 1 1
0 0 0 0 1 1 1 0 1 1 1 1 1
0 0 0 1 0 1 1 1 1 0 0 1 0
0 0 0 1 1 1 1 0 1 0 0 0 0
0 0 1 0 0 1 1 1 1 0 0 1 0
0 0 1 0 1 1 1 0 1 0 0 1 0
0 0 1 1 0 1 1 1 1 1 1 1 1
0 0 1 1 1 1 1 0 1 1 1 0 0
0 1 0 0 0 1 0 1 0 1 1 1 1
0 1 0 0 1 1 0 0 0 1 1 1 1
0 1 0 1 0 1 0 1 0 0 1 1 1
0 1 0 1 1 1 0 0 0 0 1 0 0
0 1 1 0 0 1 0 1 0 0 1 1 1
0 1 1 0 1 1 0 0 0 0 1 1 1
0 1 1 1 0 1 0 1 0 1 1 1 1
0 1 1 1 1 1 0 0 0 1 1 0 0
1 0 0 0 0 0 1 1 0 1 1 1 1
1 0 0 0 1 0 1 0 0 1 1 1 1
1 0 0 1 0 0 1 1 0 0 1 1 1
1 0 0 1 1 0 1 0 0 0 1 0 0
1 0 1 0 0 0 1 1 0 0 1 1 1
1 0 1 0 1 0 1 0 0 0 1 1 1
1 0 1 1 0 0 1 1 0 1 1 1 1
1 0 1 1 1 0 1 0 0 1 1 0 0
1 1 0 0 0 0 0 1 0 1 1 1 1
1 1 0 0 1 0 0 0 0 1 1 1 1
1 1 0 1 0 0 0 1 0 0 1 1 1
1 1 0 1 1 0 0 0 0 0 1 0 0
1 1 1 0 0 0 0 1 0 0 1 1 1
1 1 1 0 1 0 0 0 0 0 1 1 1
1 1 1 1 0 0 0 1 0 1 1 1 1
1 1 1 1 1 0 0 0 0 1 1 0 0
Forma Proposicional: 6 { [(p v q) (r→ ¬ t) ] } △ [ (t → u ) ( s ⋀ ¬ q ) ]
p q r s t u q t pv¬q r→ t A t →u s⋀¬q B A△B
0 0 0 0 0 0 1 1 1 1 1 1 0 0 1
0 0 0 0 0 1 1 1 1 1 1 1 0 0 1
0 0 0 0 1 0 1 0 1 1 1 0 0 1 0
0 0 0 0 1 1 1 0 1 1 1 0 0 0 1
0 0 0 1 0 0 1 1 1 1 1 1 1 1 0
0 0 0 1 0 1 1 1 1 1 1 1 1 1 0
0 0 0 1 1 0 1 0 1 1 1 1 0 1 0
0 0 0 1 1 1 1 0 1 1 1 0 0 0 1
0 0 1 0 0 0 1 1 1 1 1 0 0 0 1
0 0 1 0 0 1 1 1 1 1 1 1 0 0 1
0 0 1 0 1 0 1 0 1 0 0 1 0 1 1
0 0 1 0 1 1 1 0 1 0 0 1 0 0 0
0 0 1 1 0 0 1 1 1 1 1 0 1 1 0
0 0 1 1 0 1 1 1 1 1 1 0 1 1 0
0 0 1 1 1 0 1 0 1 0 0 1 1 0 0
0 0 1 1 1 1 1 0 1 0 0 1 1 1 1
0 1 0 0 0 0 0 1 0 1 0 1 0 0 0
0 1 0 0 0 1 0 1 0 1 0 0 0 0 0
0 1 0 0 1 0 0 0 0 1 0 0 0 1 1
0 1 0 0 1 1 0 0 0 1 0 1 0 0 0
0 1 0 1 0 0 0 1 0 1 0 1 0 0 0
0 1 0 1 0 1 0 1 0 1 0 1 0 0 0
0 1 0 1 1 0 0 0 0 1 0 0 0 1 1
0 1 0 1 1 1 0 0 0 1 0 0 0 0 0
0 1 1 0 0 0 0 1 0 1 0 1 0 0 0
0 1 1 0 0 1 0 1 0 1 0 1 0 0 0
0 1 1 0 1 0 0 0 0 0 1 1 0 1 0
0 1 1 0 1 1 0 0 0 0 1 0 0 0 1
0 1 1 1 0 0 0 1 0 1 0 0 0 0 0
0 1 1 1 0 1 0 1 0 1 0 1 0 0 0
0 1 1 1 1 0 0 0 0 0 1 1 0 1 0
0 1 1 1 1 1 0 0 0 0 1 1 0 0 1
1 0 0 0 0 0 1 1 1 1 1 0 0 0 1
1 0 0 0 0 1 1 1 1 1 1 0 0 0 1
1 0 0 0 1 0 1 0 1 1 1 1 0 1 0
1 0 0 0 1 1 1 0 1 1 1 1 0 0 1
1 0 0 1 0 0 1 1 1 1 1 1 1 1 0
1 0 0 1 0 1 1 1 1 1 1 0 1 1 0
1 0 0 1 1 0 1 0 1 1 1 0 1 0 1
1 0 0 1 1 1 1 0 1 1 1 1 1 1 0
1 0 1 0 0 0 1 1 1 1 1 1 0 0 1
1 0 1 0 0 1 1 1 1 1 1 1 0 0 1
1 0 1 0 1 0 1 0 1 0 0 0 0 1 1
1 0 1 0 1 1 1 0 1 0 0 0 0 0 0
1 0 1 1 0 0 1 1 1 1 1 1 1 1 0
1 0 1 1 0 1 1 1 1 1 1 1 1 1 0
1 0 1 1 1 0 1 0 1 0 0 1 1 0 0
1 0 1 1 1 1 1 0 1 0 0 0 1 1 1
1 1 0 0 0 0 0 1 1 1 1 0 0 0 1
1 1 0 0 0 1 0 1 1 1 1 1 0 0 1
1 1 0 0 1 0 0 0 1 1 1 1 0 1 0
1 1 0 0 1 1 0 0 1 1 1 1 0 0 1
1 1 0 1 0 0 0 1 1 1 1 0 0 0 1
1 1 0 1 0 1 0 1 1 1 1 0 0 0 1
1 1 0 1 1 0 0 0 1 1 1 1 0 1 0
1 1 0 1 1 1 0 0 1 1 1 1 0 0 1
1 1 1 0 0 0 0 1 1 1 1 1 0 0 1
1 1 1 0 0 1 0 1 1 1 1 0 0 0 1
1 1 1 0 1 0 0 0 1 0 0 0 0 1 1
1 1 1 0 1 1 0 0 1 0 0 1 0 0 0
1 1 1 1 0 0 0 1 1 1 1 1 0 0 1
1 1 1 1 0 1 0 1 1 1 1 1 0 0 1
1 1 1 1 1 0 0 0 1 0 0 0 0 1 1
1 1 1 1 1 1 0 0 1 0 0 1 0 0 0
Conclusión:

El resumen en general esta tabla de verdad es una contingencia ya que el operador lógico principal
marca conjunciones, di

[ { } ]→↔ ¬ ⋀