Mesa de la verdad

Una tabla de verdad es una tabla que describe una función lógica.

Por "función lógica" en este caso nos referimos a una función cuyos valores de variables (parámetros de función) y el valor de la función misma expresan la verdad lógica. Por ejemplo, en la lógica de dos valores, pueden tomar los valores "verdadero" o "falso" ( ya sea , o ). $verdadero$ ${\ estilo de visualización falso}$ $una$ ${\ estilo de visualización 0}$

La asignación tabular de funciones se encuentra no solo en lógica, sino también en funciones lógicas. Las mesas resultaron ser bastante convenientes, y desde principios del siglo XX se les ha asignado este nombre especial. Las tablas de verdad se utilizan con especial frecuencia en el álgebra booleana y en sistemas similares de lógica multivaluada.

Tablas de verdad para funciones lógicas binarias básicas

Conjunción

(Y)

$a$	$b$	$a\tierra b$
${\ estilo de visualización 0}$	${\ estilo de visualización 0}$	${\ estilo de visualización 0}$
${\ estilo de visualización 0}$	$una$	${\ estilo de visualización 0}$
$una$	${\ estilo de visualización 0}$	${\ estilo de visualización 0}$
$una$	$una$	$una$

Disyunción

(O)

$a$	$b$	$a \ lo b$
${\ estilo de visualización 0}$	${\ estilo de visualización 0}$	${\ estilo de visualización 0}$
${\ estilo de visualización 0}$	$una$	$una$
$una$	${\ estilo de visualización 0}$	$una$
$una$	$una$	$una$

Adición módulo 2

(XOR)

$a$	$b$	$a\oplus b$
${\ estilo de visualización 0}$	${\ estilo de visualización 0}$	${\ estilo de visualización 0}$
${\ estilo de visualización 0}$	$una$	$una$
$una$	${\ estilo de visualización 0}$	$una$
$una$	$una$	${\ estilo de visualización 0}$

implicación

$a$	$b$	${\ estilo de visualización a \ flecha derecha b}$
${\ estilo de visualización 0}$	${\ estilo de visualización 0}$	$una$
${\ estilo de visualización 0}$	$una$	$una$
$una$	${\ estilo de visualización 0}$	${\ estilo de visualización 0}$
$una$	$una$	$una$

Equivalencia

$a$	$b$	$a\leftrightarrow b$
${\ estilo de visualización 0}$	${\ estilo de visualización 0}$	$una$
${\ estilo de visualización 0}$	$una$	${\ estilo de visualización 0}$
$una$	${\ estilo de visualización 0}$	${\ estilo de visualización 0}$
$una$	$una$	$una$

Golpe de Schaeffer

$a$	$b$	${\ estilo de visualización a \ medio b}$
${\ estilo de visualización 0}$	${\ estilo de visualización 0}$	$una$
${\ estilo de visualización 0}$	$una$	$una$
$una$	${\ estilo de visualización 0}$	$una$
$una$	$una$	${\ estilo de visualización 0}$

perforar flecha

$a$	$b$	${\ estilo de visualización a \ flecha abajo b}$
${\ estilo de visualización 0}$	${\ estilo de visualización 0}$	$una$
${\ estilo de visualización 0}$	$una$	${\ estilo de visualización 0}$
$una$	${\ estilo de visualización 0}$	${\ estilo de visualización 0}$
$una$	$una$	${\ estilo de visualización 0}$

Negación

(NO)

$a$	$\neg un$
${\ estilo de visualización 0}$	$una$
$una$	${\ estilo de visualización 0}$

En programación :

Conjunción = Y = Y = = & $\tierra$
Disyunción = O = O = = | $\lor$
Módulo 2 además = XOR = EXCLUSIVO O = = ~ $\oplus$
Negación = NO = NO = = ! $\neg$

Tablas de verdad para algunas funciones lógicas ternarias

X	2	una	0	2	una	0	2	una
y	2	2	2	una	una	una	0	0
min(x,y)	2	una	0	una	una	0	0	0

X	2	una	0	2	una	0	2	una
y	2	2	2	una	una	una	0	0
máx(x,y)	2	2	2	2	una	una	2	una

X	2	una	0	2	una	0	2	una	0
y	2	2	2	una	una	una	0	0	0
F2TN22310	0	0	0	0	2	2	0	2	una

Véase también

Notas

Literatura

Yablonsky S. V., Gavrilov G. P., Kudryavtsev V. B. Funciones del álgebra de la lógica y clases Post. — M .: Nauka, 1966. — (Lógica matemática y fundamentos de las matemáticas).

Enlaces

operaciones booleanas
Disyunción (OR) Conjunción (Y) Negación (NO) Exclusivo "o" (XOR) Flecha perforante (NOR) Carrera de Schaeffer (NAND) Equivalencia (XNOR) implicación Disyunción condicional (ternaria)