Operadores lgicos

Estoy operadores no son ms que la representacin de lo operadores lgicos de la lgica

proposicional, algunos ya estarn familiarizados con este tema as que esto sera a manera de repaso
y para los que no lo estn las siguientes lineas se encargaran de entregarte el conocimiento es muy
sencillo.

Son tres operadores lgicos lo que intervienen en c++ que son el and(^) el or(v) y la negacion ~,
estos operadores cumplen cierta reglas, antes de ver estas reglas miremos como se representan en c+
+ estos operadores.

Operador Representacin en c++

And (^) &&
Or (v) ||
Negacin (~) !

Ahora ya sabemos como se representa en C++, las caractersticas que definen a cada uno son las
mismas como se definen en la Lgica Proposicional esto tambin quiere decir que estos operadores
trabajan con datos del tipo boleano.

Negacin :

Esta es la mas fcil de entender pues si tenemos una variable y le asignamos el valor verdadero
(true o 1)

boolvalor=true;

el operador ! Cambiara su valora a falso (false o 0)

valor=!valor

ahora valor tiene el valor que falso (false o 0) y lo mismo sucedera si aplicar en ves de inicializar
valor con true lo hubisemos hecho con false, as al aplicar el operador ! El nuevo valor de la
variable valor hubiese sido true. Pero como frecuentemente digo un ejemplo es mejor para entender:

Ejemplo 9.1

#include<iostream>
usingnamespacestd;

intmain(){

boolvalor=(3<=4);
cout<<!valor<<endl;

return0;
}

1 Edwin P. A. - GOF
No es difcil entender el anterior programa, como podrn notar 3<=4 es verdadero as que este valor
se le asigna ala variable valor, al tener la variable valor el valor de verdad al aplicar ! Este cambia
de valora false este es ltimo se imprimir en la pantalla como 0 (cero).
And (^) :

En espaol se traduce como y aun que en Lgica Proposicional es el operador de conjuncin y

cumple ciertas reglas que son la mismas para c++. Supongamos que tenemos dos variables boleanas
a=true y b=true , ademas tenemos una variable c boleana sin valor asignado, al aplicar este
operador y asignarlo a c

c=a&&b

el operador se traducira como true && true, esto da como valor true y es asignado a c. Pero
como?, Esto no sucede por arte de magia sino que siguen el valor de la siguiente tabla

a b a&&b
true true true
true false false
false true false
false false false

Nosotros nos ubicaramos en el primer caso donde a y b son ambos verdaderos y es el nico caso
con esta respuesta, las dems son todas falsas, curioso no?. Si la curiosidad les invade podran
revisar algunos textos de lgico y ver porque se da esta regla.

Or (v):

Se traduce al espaol como (o), y en Lgica proposicional se le conoce como Disyuncin y en C++
se representa con | |, al igual que and cumple con ciertas reglas
si tenemos dos variables a y b con algn valor de verdad tendramos la tabla siguiente

a b a&&b
true true true
true false true
false true true
false false false

Esto no tiene mucho sentido ahora; cualquiera se preguntara para que usar estos operadores pues
bien el el siguiente capitulo lo veremos en las sentencias de control ah veremos todo su potencial y
lo tiles que son.

2 Edwin P. A. - GOF