Negación

P	( ~P)
V	F
F	V

Conjunción lógica

El operador de conjunción, también conocido como el operddor AND y respresentando comúnmente con el simbolo ^, es un operador binario que requiere que las dos propociciones sobre las que actúa sean verdaderas para producir un valor verdadero. Todos los demas casos dan como resultado un valor falso.

P	Q	(P ^ Q)
V	V	V
V	F	F
V	F	F
V	F	F

Disyunción lógica

El operador de Disyunción tambie conocido como el operador OR y representado con el simbolo V arroja un valor de verdadero si al menos una de las proposiciones sobre las que opera posee un valor de verdadero.

P	Q	(P V Q)
V	V	V
V	F	V
F	V	V
F	F	F

Disyuncion lógica exclusva

El operdor XOR - tambien conocido como OR exclusiva y representado por el simbolo ⊕- arroja un valor de verdadero cuando las dos porposiciones tengan distinto valor.

Implicación lógica

También conocida como operador condicional ay representado con el simbolo ->, arroja un valo verdadero en todos los casos excepto en el caso V -> F. Dado que esto ppuede ser un poco difícil de recordar, puede ser útil notar que esto es lógicamente equivalente a ~P V Q como semuestra en las siguientes tablas.

Doble Implicación lógica

Este operador represntado comunmente con el símbolo <->, es la conjunción (P -> Q) ^ (Q -> P). Este operador es tambíen conocido como equivalencia lógica debido a que sólo presenta un valor verdader si ambas proposiciones son igaules.