Question

Elabore las tablas de verdad de las siguientes formas proposicionales

Answer 1

Respuesta:

Explicación paso a paso:

1) {¬p ∧ (p⇒¬q)}⇒¬q

p    q    ¬p    ¬q    p⇒¬q    ¬p∧(p⇒¬q)    {¬p∧(p⇒¬q)}⇒¬q

v    v      f       f          f                f                        v

v    f       f       v         v               f                         v

f    v       v      f          v               v                        f

f    f        v      v         v               v                        v

2) {(p ∧ q) ⇒ r} ⇔ {(¬p ∨ r) ∨ (¬q ⇒ r)}

p    q    r    ¬p    ¬q    p∧q    (p∧q)⇒r    ¬p∨r    ¬q⇒r    (¬p∨r)∨(¬q⇒r)    respues

v     v    v     f       f       v             v              v         v                 f                      f

v     v    f      f       f       v             f               f          f                 f                      v

v     f    v      f       v      f              v              v         v                f                       f

v     f    f       f       v      f              v              f          v                v                      v

f     v    v      v       f      f              v              v          v                f                      f

f     v    f       v       f      f              v              v          f                v                     v

f     f     v      v       v     f              v              v          v                f                     f

f     f     f       v       v     f              v              v          v                f                     f

Nota el ∨ con negrilla indica o inclusivo es decir en esta no solo es falso cuando ambas son falsas, sino también cuando ambas son verdaderas