Scribd
Cargar
18 vistas8 páginas

Polinomios Lógicos y Tablas de Verdad

Los 15 problemas propuestos solicitan determinar el tipo de polinomio lógico de expresiones booleanas usando tablas de verdad. En todas las expresiones, el método de tablas de verdad muestra que el tipo de polinomio lógico es contingencia, lo que significa que la verdad de la expresión depende de los valores de las variables proposicionales involucradas.

Cargado por

Antonella Manuitt
Derechos de autor
© All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOC, PDF, TXT o lee en línea desde Scribd
18 vistas8 páginas

Polinomios Lógicos y Tablas de Verdad

Los 15 problemas propuestos solicitan determinar el tipo de polinomio lógico de expresiones booleanas usando tablas de verdad. En todas las expresiones, el método de tablas de verdad muestra que el tipo de polinomio lógico es contingencia, lo que significa que la verdad de la expresión depende de los valores de las variables proposicionales involucradas.

Cargado por

Antonella Manuitt
Derechos de autor
© All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOC, PDF, TXT o lee en línea desde Scribd

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

También podría gustarte