Operadores Básicos

Operador AND ( ^ )

También llamado: Conjunción
Su símbolo es:   ^

Se utiliza para conectar dos proposiciones simples que se deben cumplir para que se pueda obtener un resultado verdadero y devuelve el valor de verdadero cuando las dos proposiciones son verdaderas y falso en cualquier otro caso.

Se denota de la siguiente forma: 

                                                  p y q               p * q          p ^ q

Ejemplo:

p: el carro arranca   q: el tanque tiene gasolina     r: la batería tiene corriente

Expresión verbal: el carro arranca, solo si el tanque tiene gasolina y la batería tiene corriente.

Simbología lógica:    p: q ^ r

Su tabla de verdad es:   

        p           q          p ^ q

        0           0             0

        0           1             0

        1           0             0

        1           1             1

Esta tabla quiere decir que en el Operador AND,  si los valores son verdaderos(1) el resultado será verdadero (1), y en cualquier otro caso el resultado será falso (0)

Ejemplo:

p ^ ¬q

p           q        ¬q          p ^ ¬q

0           0          1                0

0           1          0                0

1           0          1                1

1           1          0                0

El resultado sería

           0

           0

           1

           0

Operador OR ( v )

También llamado: Disyunción

Su símbolo es: v 

Con este operador se obtiene un resultado verdadero(1) si alguna de las proposiciones es verdadera(1) y falsa(0) si los 2 son falsas(0).

Se denota de la siguiente forma:     

                                                  p o q     p v q    p + q 

p: una persona entra al cine   q: compra una boleta    r: le regalan la entrada

Expresión verbal: Una persona entra al cine si compra su boleto o si le regalan la entrada.

Simbología lógica    p: q v r

Su tabla de verdad es la siguiente:

        p             q               p   v     q

        0             0                     0

        0             1                     1

        1             0                     1

        1             1                     1

Esta tabla quiere decir que en el Operador OR, si los valores son falsos el resultado será falso (0), en cualquier otro caso el resultado será verdadero (1).

Ejemplo:

(¬p v ¬q) 

p        q        ¬p      ¬q        (¬p v ¬q)

0        0          1         1              1

0        1          1         0              1

1      0        0       1           1
1      1        0       0           0

El resultado seria

                1

                1

                1

                0

Operador Not ( -, ~)

También llamado: Negación
Sus símbolos son: ( -, ~)

Tiene como función negar una proposición, es decir vuelve una proposición verdadera(1) en falsa(0) o viceversa.

Se denota con los siguientes símbolos:

~y             ¬y              Ӯ               y’

Su tabla de verdad es la siguiente:

 y            Ӯ

 0            1

 0            1

 1            0

 1            0

Ejemplo de expresión verbal:

y: El carro es azul

Ӯ: El carro no es azul