Determine el tipo de polinomio lógico usando el método de

tablas de verdad completa.

1.) [┐p ↔ (q v r)] Λ [ p → (┐r v ┐q)

0 2 0 1 0 3 0 2 0 1 0
[┐p ↔ (q v r)] Λ [p → (┐r v ┐q)
F F V V V F v F F F F
F F V V F F v V V V F
F F F V V F v V F V V
F V F F F F v F V F V
V V V V V V F V F F F
V V V V F V F V V V F
V V F V V V F V F V V
V F F F F F F V V F V
• Tipo de Polinomio lógico: Contingencia

2.) ┐q v (p Λ r)

0 2 0 1 0
┐q v (p Λ r)
F V V V V
F F V F F
V F V V V
V V V F F
F F F F V
F F F F F
V V F F V
V V F F F
• Tipo de Polinomio lógico: Contingencia
3.) [(p v q) Λ (┐q Λ ┐p)] v ( ┐p ↔ q )

0 1 0 2 0 1 0 3 0 1 0
[(p v q) Λ (┐q Λ ┐p)] v ( ┐p ↔ q)
V V V F F F F F F F V
V V F F V F F V F V F
F V V F F F V V V V V
F F F F V V V F V F F
• Tipo de Polinomio lógico: Contingencia

4.) (p → ┐r ) ↔ (┐q v ┐p)

0 1 0 2 0 1 0
(p → ┐r ) ↔ (┐q v ┐p)
V F F V F F F
V V V F F F F
V F F F V V F
V V V V V V F
F V F V F V V
F V V V F V V
F V F V V V V
F V V V V V V
• Tipo de Polinomio lógico: Contingencia

5.) (r Λ ┐s) → (p Λ ┐q )

0 1 0 2 0 1 0
(r Λ ┐s) → (p Λ ┐q )
V F F V V F F
V V V F V F F
F F F V V F F
F F V V V F F
V F F V V V V
V V V V V V V
F F F V V V V
F F V V V V V
V F F V F F F
V V V F F F F
F F F V F F F
F F V V F F F
V F F V F F V
V V V F F F V
F F F V F F V
F F V V F F V
• Tipo de Polinomio lógico: Contingencia
6.) {[q → (┐p Λ q)] Λ (┐p →q)} ↔ (p v q)

0 2 0 1 0 3 0 1 0 4 0 1 0
{[q → (┐p Λ q)] Λ (┐p → q)} ↔ (p v q)
V F F F V F F V V F v V V
F V F F F F F V F F v V F
V V V V V V V V V V F V V
F V V F F V V F F F F F F
Tipo de Polinomio lógico: Contingencia •

7.) (p v s) → (r Λ ┐p )

0 1 0 2 0 1 0
(p v s) → (r Λ ┐p )
V F V V V F F
V V F F V F F
V F V V F F F
V V F F F F F
F V V V V V V
F F F V V V V
F V V F F F V
F F F V F F V
• Tipo de Polinomio lógico: Contingencia

8.) {[(q → ┐p) Λ (p →q)] →(┐q Λ ┐p)]} ↔ ┐(p v ┐q)

0 1 0 2 0 1 0 3 0 1 0 5 4 0 1 0
{[(q → ┐p) Λ (p → q)] → (┐q Λ ┐p)]} ↔ ┐ (p v ┐q)
V F F F V V V V F F F F F V V F
F V F F V F F V V F F F F V V V
V V V V F V V F F F V F V F F F
F V V V F V F V V V V F F F V V
Tipo de Polinomio lógico: Contradicción •
9.) [┐(q Λ ┐p) → ┐(p v q )] v ┐r

2 0 1 0 3 2 0 1 0 4 0
[┐ (q Λ ┐p) → ┐ (p v q )] v ┐r
V V F F F F v V V F F
V V F F F F v V V V V
V F F F F F v V F F F
V F F F F F v V F V V
F V V V V F F V V V F
F V V V V F F V V F V
V F F V V V F F F V F
V F F V V V F F F F V
Tipo de Polinomio lógico: Contingencia •

10.)┐[ p ↔ (┐p v q)] ↔( p Λ q)

3 0 2 0 1 0 4 0 1 0
┐ [p ↔ (┐p v q)] ↔ ( p Λ q)
F V V F V V F V V V
V V F F F F F V F F
F F V V F V V F F V
V F F V V F F F F F
• Tipo de Polinomio lógico: Contingencia

11.) p Λ {[(p Λ q) v (r Λ ┐q)] Λ (┐r → ┐q)}

0 4 0 1 0 2 0 1 0 3 0 1 0
p Λ {[(p Λ q) v (r Λ ┐q)] Λ (┐r → ┐q)}
V V V V V V V F F V F V F
V F V V V V F F F F V F F
V V V F F V V V V V F V V
V F V F F F F F V F V V V
F F F F V F V F F F F V F
F F F F V F F F F F V F F
F F F F F V V V V V F V V
F F F F F F F F V F V V V
• Tipo de Polinomio lógico: Contingencia
12.) { [ ( p v q ) → ( p v r ) ] Λ ( r Λ q ) } ↔ (┐r v ┐q )

0 1 0 2 0 1 0 3 0 1 0 4 0 1 0
{[(p v q) → (p v r)] Λ (r Λ q)} ↔ (┐r v ┐q )
V V V V V V V V V V V F F F F
V V V V V V F F F F V F V V F
V V F V V V V F V F F F F V V
V V F V V V F F F F F F V V V
F V V V F V V V V V V F F F F
F V V F F F F F F F V F V V F
F F F V F V V F V F F F F V V
F F F V F F F F F F F F V V V
Tipo de Polinomio lógico: Contradicción •

13.) [(p v q) v ┐r ] ↔ ┐[ ┐ (┐q v ┐r ) → r ]

0 1 0 3 0 5 4 2 0 1 0 3 0
[(p v q) v ┐r ] ↔ ┐[ ┐ ( ┐q v ┐r ) → r ]
V F V F F V F V F F F V V
V F V V V F F F F V V V F
V V F V F F F F V V F V V
V V F V V F F F V V V V F
F V V V F F F V F F F V V
F V V V V F F F F V V V F
F F F F F V F F V V F V V
F F F V V F F F V V V V F
• Tipo de Polinomio lógico: Contingencia

14.) ┐{[(p Λ q) v ┐r ] ↔ [ ┐(r v ┐q ) → ┐p ] }

5 0 1 0 3 0 4 2 0 1 0 3 0
┐ {[ (p Λ q) v ┐r ] ↔ [ ┐ (r v ┐q ) → ┐p ]}
F V V V V F V F V V F V F
F V V V F V V V F F F F F
V V F F F F F F V V V V F
F V F F V V V F F V V V F
V F F V F F F F V V F V V
F F F V V V V V F F F V V
V F F F F F F F V V V V V
F F F F V V V F F V V V V
• Tipo de Polinomio lógico: Contingencia
15.) ┐[ (s Λ q) v (q Λ ┐p ) ]

3 0 1 0 2 0 1 0
┐ [ (s Λ q) v (q Λ ┐p ) ]
F V V V V V F F
V F F V F V F F
V V F F F F F F
V F F F F F F F
V V V V F V V V
F F F V V V V V
V V F F F F F V
V F F F F F F V
• Tipo de Polinomio lógico: Contingencia

16.) [(s v q) v ┐r ] ↔ ┐ (┐q v ┐r )

0 1 0 2 0 3 2 0 1 0
[(s v q) v ┐r ] ↔ ┐ (┐q v ┐r )
V F V F F F V F F F
F V V V F V V F F F
V F V V V F F F V V
F V V V V F F F V V
V V F V F F F V V F
F F F F F V F V V F
V V F V V F F V V V
F F F V V F F V V V
• Tipo de Polinomio lógico: Contingencia

17.) [┐ (p Λ ┐r)] → (s v ┐q )

2 0 1 0 3 0 1 0
[┐ (p Λ ┐r)] → (s v ┐q )
V V F F V V V F
V V F F F F F F
F V V V V V V F
F V V V V F F F
V V F F V V V V
V V F F V F V V
F V V V V V V V
F V V V V F V V
V F F F V V V F
V F F F F F F F
 V F F V V V V F
V F F V F F F F
V F F F V V V V
V F F F V F V V
V F F V V V V V
V F F V V F V V
• Tipo de Polinomio lógico: Contingencia

18.) { [ ( q Λ ┐p ) → ( ┐q → p ) ] Λ { r → [ q Λ ( ┐r → ┐q ) ] } } ↔ ┐( ┐r v q )

0 1 0 2 0 1 0 4 0 3 0 2 0 1 0 5 2 0 1 0
{[(q Λ ┐p ) → ( ┐q → p)] Λ {r → [q Λ ( ┐r → ┐q ) ] } } ↔ ┐( ┐r v q)
V F F V F V V V V V V V F V F F F F V V
V F F V F V V V F V V F V F F F F V V V
F F F V V V V F V F F F F V V F V F F F
F F F V V V V V F V F F V V V F F V V F
V V V V F V F V V V V V F V F F F F V V
V V V V F V F V F V V F V F F F F V V V
F F V V V F F F V F F F F V V F V F F F
F F V V V F F V F V F F V V V F F V V F
Tipo de Polinomio lógico: Contradicción •

19.) ┐[ ┐( ┐p → q ) v ( ┐p Λ r ) ] ↔ [ p v ( q Λ ┐r ) ]

4 2 0 1 0 3 0 1 0 5 0 2 0 1 0
┐[ ┐( ┐p → q ) v ( ┐p Λ r ) ] ↔ [ p v (q Λ ┐r ) ]
V F F V V F F F V V V V V F F
V F F V V F F F F V V V V V V
V F F V F F F F V V V V F F F
V F F V F F F F F V V V F F V
F F V V V V V V V V F F V F F
V F V V V F V F F V F V V V V
F V V F F V V V V V F F F F F
F V V F F V V F F V F F F F V
Tipo de Polinomio lógico: Tautologia •
 20.) ┐ { { r → [ s → ( ┐r Λ s )]} → q } ↔ [ ┐ (┐r v ┐s ) v q ]

5 0 3 0 2 0 1 0 4 0 6 2 0 1 0 3 0
┐{{ r → [s → ( ┐r Λ s )]} → q} ↔ [┐ (┐r v ┐s ) v q]
F V F V F F F V V V F V F F F V V
F V V F V F F F V V F F F V V V V
F F V V V V V V V V F F V V F V V
F F V F V V F F V V F F V V V V V
F V F V F F F V V F F V F F F V F
V V V F V F F F F F F F F V V F F
V F V V F V F V F F F F V V F F F
V F V F V V F F F F F F V V V F F
Tipo de Polinomio lógico: Contradiccion •

En la respuesta, es importante destacar al final, cual es la columna resultado que

determina el tipo de polinomio (Justo debajo del punto y la columna más verde). Los
números que aparecen en la parte superior de cada tabla resultado, es el orden
sugerido según los signos de agrupación, es decir, las columna con el número 0, es la
primera en llenarse, luego se operan los números 1 (paréntesis más internos) luego la
columna con los números 2, 3 4 y así sucesivamente.

“Una persona que nunca cometió un error nunca intentó nada nuevo”

Albert Einstein