Tablas de verdad-programacion

1. Una fórmulapuede tomarlosvalores verdaderoy falso.Lasemántica esel conjuntode reglasque
permitendarsignificadoaunafórmula.El valorde una fórmulavendrádadopor losoperadores
segúnlas tablas de verdad.A partir de ahora, al valorfalsole asignaremosel 0,yal verdaderoel 1.
Negación:La negaciónde unvaloressu opuesto.
p not p
0 1
1 0
Conjunción:La conjunciónde 2 valoressóloesciertasi ambos sonverdaderos.
p q p and q
0 0 0
0 1 0
1 0 0
1 1 1
Disyunción:La disyunciónde 2valoressóloesfalsasi ambosson falsos.
p q p or q
0 0 0
0 1 1
1 0 1
1 1 1
Condicional:La únicaposibilidadde que unacondiciónoimplicaciónseafalsaessi verdadero
implicafalso(1-> 0).
p q p -> q
0 0 1
0 1 1
1 0 0
1 1 1
Disyunciónexclusiva:La disyunciónexclusivade 2 valoresesverdaderasi sondiferentes,yfalsasi
los2 valoressoniguales.

2. p q p xor q
0 0 0
0 1 1
1 0 1
1 1 0
A continuación,veremoscómoutilizartablasde verdad.Queremossabersi lasfórmulas not(pand
q) y (not p) or (notq) sonequivalentes.Paraelloutilizaremoslastablasde verdadpara obtenerel
resultadode lasfórmulas,ysi ambas danel mismoresultadoparacualquiercombinaciónde
valores(sustablasde verdadsoniguales),seránequivalentes:
p q not p not q p and q not (p and q) (not p) or (not q)
0 0 1 1 0 1 1
0 1 1 0 0 1 1
1 0 0 1 0 1 1
1 1 0 0 1 0 0
Comose puede apreciar,las2 fórmulasdevuelvenel mismoresultado.Sonequivalentes.