OPERACIONES LÓGICAS Y TABLAS DE VERDAD

Se pueden definir operaciones entre variables lógicas, de las que consideramos las siguientes tres:

1) NEGACIÓN

Se aplica a una sola expresión lógica, que puede ser una constante o variable lógica o el resultado de una operación lógica. Si el valor de la expresión es Falso, su negociación lo hará verdadero y viceversa. El operador de la negociación es el siguiente:

PSEUDOCÓDIGO	C
¬~	!

La negociación se representa mediante su tabla de verdad siguiente:

A	~A
verdadero	falso

2) DISYUNCIÓN

Operación lógica definida para dos operandos. Es verdadera cuando al menos una de las expresiones lo es. En caso contrario es falsa. El operador se escribe como sigue:

PSEUDOCÓDIGO	C
OR	||

La tabla de verdad correspondiente es la siguiente:

A	B	A OR B (se lee "A o B")
Falso	Falso	Falso
Falso	Verdadero	Verdadero
Verdadero	Falso	Verdadero
Verdadero	Verdadero	Verdadero

3) CONJUNCIÓN

Operación lógica definida para dos operandos. Es verdadera únicamente cuando ambas expresiones lo son. En caso contrario es falsa. El operardor se escribe como sigue:

PSEUDOCÓDIGO	C
AND	&&

La tabla de verdad correspondiente es la siguiente: