Lgica y Funciones

DESARROLLO DE ESQUEMAS MOLECULARES POR LA TABLA DE VALORES:

La evaluacin de esquemas moleculares consiste en hallar valores del

operador principal a partir de la validez de una de las proposiciones
atmicas:
a) [p^(pq)]p

b) [(~p^q)~r][r(p~q)]

Solucin:
Tautologa

p
1
1
0
0

q
V
F
V
F

[p ^ (pq)] p
11 111 1 1
10 100 1 1
00 011 1 0
00 010 1 0

contingente

p
1
1
1
1
0
0
0
0

C. (qr)(pr)

q
1
1
0
0
1
1
0
0

r [(~p^q)~r][r(p~q)]
1 0 0 1 0 0 0 1111 0
0 0 0 1 1 1 0 0011 0
1 0 0 0 0 0 0 1111 1
0 0 0 0 1 1 0 0011 1
1 1 1 1 1 0 0 1000 0
0 1 1 1 0 1 1 0000 0
1 1 0 0 0 0 0 1101 1
0 1 0 0 1 1 0 0001 1

d. (p~q) (~r~t)

Contingente

p
1
1
1
1
0
0
0
0

q
1
1
0
0
1
1
0
0

r
1
0
1
0
1
0
1
0

(qr) (pr)
1 111 111
1 000 100
0 111 111
0 101 100
1 111 011
1 001 010
0 111 011
0 101 010

Contingente

p
1
1
1
1
1
1
1
1
0
0
0
0
0
0
0
0

q
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0

r
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0

t
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0

(p~q) (~r~t)
1 0 0 0 0
1 0 0 0 0
1 0 0 0 1
1 0 0 1 1
1 1 1 1 0
1 1 1 1 0
1 1 1 1 1
1 1 1 1 1
0 0 0 0 0
0 0 0 0 0
0 0 0 0 1
0 0 0 1 1
0 0 1 0 0
0 0 1 0 0
0 0 1 0 1
0 0 1 1 1

0
0
0
1
0
0
0
1
0
0
0
1
0
0
0
1

0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1