Lógica Computacional

Ejercitación

Resolver y obtener la característica tabular de cada uno de los siguientes esquemas

moleculares:

a) (p ˄ q) → (┐p)
b) (┐q) v (q ˄ r)
c) {(┐r) ˄ [(┐p) ˄ r)]} ↔ q
d) (p → q) ˄ [r v (┐q)]