INTRODUCCION A LOS SISTEMAS: TABLAS DE VERDAD

Negación

$\begin{array}{|c||c|} A & \neg A \\ \hline V & F \\ F & V \\ \hline \end{array}$

$\begin{array}{|c|c||c|} A & B & A \and B \\ \hline V & V & V \\ V & F & F \\ F & V & F \\ F & F & F \\ \hline \end{array}$

$\begin{array}{|c|c||c|} A & B & A \or B \\ \hline V & V & V \\ V & F & V \\ F & V & V \\ F & F & F \\ \hline \end{array}$

$\begin{array}{|c|c||c|} A & B & A \to B \\ \hline V & V & V \\ V & F & F \\ F & V & V \\ F & F & V \\ \hline \end{array}$

$\begin{array}{|c|c||c|} A & B & A \leftrightarrow B \\ \hline V & V & V \\ V & F & F \\ F & V & F \\ F & F & V \\ \hline \end{array}$

EQUIVALENCIA

(p --> q) ^ (q --> p)

INTRODUCCION A LOS SISTEMAS