Tabla de verdad

Una tabla de verdad, o tabla de valores de verdad, es una tabla que despliega el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.

Negación

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

Conjunción

$\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}$

Disyunción

$\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}$

Implicación o Condicional

$\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}$

Bicondicional

$\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}$

Disyunción exclusiva

p	q	pq
V	V	F
V	F	V
F	V	V
F	F	F

SISTEMAS INFORMATICOS

miércoles, 15 de septiembre de 2010

TABLAS DE VERDAD

Tabla de verdad

Negación

Conjunción

Disyunción

Bicondicional