Matemática y Lógica

HUARAZ
LÓGICA PROPOSICIONAL
Matemática y Lógica
CIRCUITOS
Mediante tablas de verdad, evaluar e indicar
el nombre:
1.
p   p  q  ~ q
2.
~ ~ q  p  p ~ q  ~ p
3.
~  p  r   q  ~ q  p r 
4.
 p ~ q  ~ ~ p  q ~ q
5.
~ q ~ p   p  q
6.
 p ~ q ~  p  q   p  ~ p  q
Sean los esquemas moleculares:
7. ¿A implica a B?
A : ~ p  q   ~ q  r 
B: p r
8. ¿E es equivalente a F?
E :~  p  q    p  ~ p  q 
F : p ~ q
9. ¿M implica a K?
M :~ p ~ r
K :~ r  ~  p  q 
Lic. Miriam Castillo