Este documento describe las tablas de verdad y los operadores lógicos utilizados en C++. Explica que una tabla de verdad muestra el valor de verdad de una proposición compuesta para cada combinación de valores de verdad de sus componentes. Luego define los valores de verdad, las operaciones lógicas como disyunción, conjunción, negación y condicional, y cómo se representan en una tabla de verdad. Finalmente, indica que las operaciones lógicas unen proposiciones usando operadores como AND, OR y NOT para formar proposic

1. TABLAS DE VERDAD
PARA C++

2. Nombre: Jazmín Esmeralda Ibarra Servín
Grado y Grupo: 2°DM Especialidad: Programación
Materia: Desarrollo de software utilizando programación estructural
Maestra: Margarita Romero Alvarado

3. Tabla de verdad
Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una
proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus
componentes.

4. Valores de verdad
*Los valores de verdad son dos: verdadero y falso, pueden expresarse como 1 y 0
*Normalmente se representa el valor verdadero con la letra V y al valor Falso con la F. También se usan
las letras T (por “true”, “verdadero” en ingles) y F (por “false”, “falso” en ingles).
Disyunción
La disyunción es un operador que opera sobre dos valores de verdad, típicamente los valores de
verdad de dos proposiciones, devolviendo el valor de verdad, verdadero cuando una de las
proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas.

5. Conjunción
La conjunción es un operador que opera sobre dos valores de verdad, típicamente los valores de
verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones
son verdaderas, y falso en cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas

6. Negación
La característica de la negación
es que invierte el valor de verdad
de la proposición. La negación es
un operador que se ejecuta sobre
un único valor de verdad,
devolviendo el valor contradictorio
de la proposición considerada.
Consiste en cambar el valor de
verdad de una variable
proposicional.

7. Condicional
El condicional material es un operador que opera sobre dos valores de verdad, típicamente los
valores de verdad de dos proposiciones, devolviendo el valor de verdad falso o solo cuando la
primera proposición es verdad y la segunda falsa, y verdadero en cualquier en otro.
La condicional de dos proposiciones p,q da lugar a la proposición; si p entonces q, se representa
por p q

8. Bicondicional
El bicondicional o el de doble explicación es un operador que funciona sobre dos valores de
verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad
verdadero cuando ambas proposciones tienen el mismo valor de verdad, y falso cuando sus
valores de verdad difieren

9. Operaciones lógicas
Una operación lógica se compone de operandos (proposiciones) y operadores. Mediante una
operación lógica se unen proposiciones para obtener una nueva proposición compuesta
Los operadores lógicos (también llamados “conectores lógicos”) usados para reunir proposiciones
son: AND (“y”), OR (“o”), NOT (“no”), IMPLICA, BICONDICIONAL (“si y solo si”). Mediante ellos se
forman proposiciones moleculares.
*El operador OR se representa mediante el símbolo V y se utiliza para la operación disyunción
*El operador de NOT se representa mediante el símbolo y se utiliza para la operación negación
*El operador IMPLICA se representa mediante el símbolo y se usa para la operación
implicación operador se le llama “antecedente” y a la que se coloca a la derecha de la llama
“consecuente”. Esta operación es conmutativa.

10. Equivalencias lógicas
*Una equivalencia lógica es una similitud en grados de verdad existen entre 2 o mas expresiones,
siendo cualquiera de ellas validas; es decir cualquiera de estas puede ser usada en el resultado final
por el cambio o sustitución de cualquiera de ellas
*La demostración de equivalencias mas comúnmente usada es mediante el método de tablas de
verdad