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:

SEUDOCÓDIGOC
¬~!

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

A~A
verdaderofalso

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:

SEUDOCÓDIGOC
OR||

La tabla de verdad correspondiente es la siguiente:

ABA OR B (se lee "A o B")
FalsoFalsoFalso
FalsoVerdaderoVerdadero
VerdaderoFalsoVerdadero
VerdaderoVerdaderoVerdadero

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:

SEUDOCÓDIGOC
AND&&

La tabla de verdad correspondiente es la siguiente:

ABA AND B (se lee "A y B")
FalsoFalsoFalso
FalsoVerdaderoFalso
VerdaderoFalsoFalso
VerdaderoVerdaderoVerdadero