Polinomios Booleanos

CAPÍTULO 1
PROPOSICIONES CATEGÓRICAS
1.1. INTRODUCCIÓN
De la misma manera que los números son los elementos básicos de la aritmética, las proposiciones simples
son los elementos de la lógica en general, y de la lógica matemática en particular.
Generalmente comenzamos nuestras experiencias aritméticas con el conjunto de los números naturales,
y construimos estructuras más complejas, por ejemplo, el sistema de los números racionales. De la misma
forma, iniciaremos en lógica con las proposiciones simples para formar proposiciones compuestas.
En el siguiente cuadro, se presenta la clasificación general de las proposiciones, las mismas que se
analizarán a continuación.
PROPOSICIONES
CERRADA, CATEGÓRICA ABIERTA, CONDICIONAL
SIMPLE COMPUESTA SIMPLE COMPUESTA
UNIVARIABLES, PLURIVARIABLES
1.2. PROPOSICIÓN CERRADA SIMPLE (PCS)
Existen varias formas de nombrar una proposición cerrada simple, las más importantes son: proposición
categórica simple, proposición categórica, proposición cerrada, proposición atómica, proposición simple,
proposición, enunciado. En lo sucesivo, al referirnos a una proposición cerrada simple (PCS), utilizaremos
la palabra proposición.
Una proposición es una oración de la cual tiene sentido afirmar que es verdadera o falsa, pero no las
dos posibilidades a la vez.
Ejemplos: 2 es un número dígito. Oración verdadera

4 es un número entero. Oración verdadera
-8 es un número natural. Oración falsa
Observación: Las palabras "verdadero" y "falso" son elementos indefinidos. La idea de "verdadero" y
"falso", es básica en el pensamiento humano. Esta idea es algo puramente intuitiva, algo no
definido, pero si entendido por cada persona como resultado de su propia experiencia.
MSc. Paco Bastidas Romo & otros. 1 Proposiciones Categóricas

Por otro lado, algunas oraciones no son proposiciones.
Ejemplos: ¡Estudie, por Dios! Oración exclamativa

¿Cómo se llama? Oración interrogativa
Ayúdeme, por favor Oración exhortativa
Los ejemplos anteriores no son proposiciones, pues no tiene sentido decir que sean verdaderas o falsas.
Para expresar nuestros pensamientos no bastan las palabras. Es preciso que ellas estén ordenadas
adecuadamente, para la clara comprensión por parte del lector o del que escucha. Ciertas agrupaciones
de palabras, no son la expresión de un pensamiento con sentido completo, por lo tanto, también carece
de sentido afirmar su verdad o falsedad. Por ejemplo:
Es capital del Quito Ecuador la No es oración
Observación: toda proposición es una oración; pero no toda oración es una proposición.
1.3. REPRESENTACIÓN SIMBÓLICA DE PROPOSICIONES.
De la misma manera que en el álgebra elemental se usan las letras x, y, o z, entre otras, para representar
números; en lógica, se usan las letras minúsculas p, q, o r, para representar proposiciones. Si el número
de proposiciones que se analizan, en un problema dado, es considerable, entonces se usan las mismas
letras con subíndices. Por ejemplo:
p: El cero es el módulo de la suma q: 2/3 es mayor que ¼

r: 15 = 20-10 p1: -(-5) x 3 = -11
p2: (-8) + (9-3) = -11 p3: 43 = 4+4+4
p4: 20/6 = 6 x 3 + 2 p5: 1 + 0 = 1.
1.4. VALOR DE VERDAD DE UNA PROPOSICIÓN.
El valor de verdad de una proposición consiste en asignar las letras V (inicial de verdadero) o F (inicial de
falso), a una proposición, según sea verdadera o falsa.
Sea p una proposición cualquiera. Si p es verdadera se escribe v(p)=V y se lee "valor de verdad de p
verdadero". Si p es falsa se escribe v(p)=F y se lee "valor de verdad de p falso”.
Ejemplo:
p: El cero es módulo de la suma. v(p) = V q: 2/3 es mayor que ¼ v(q) = V

r: 15 = 20 – 10 v(r) = F p1: -(-5) x 3 = 15 v(p1) = V
p2: (-8) + (9-3) = -11 v(p2) = F p3: 43 = 4+4+4 v(p3) = F
p4: 20/6 = 6 x 3 + 2 v(p4) = F p5: 1 + 0 = 1 v(p5) = V
El uso de las letras mayúsculas V o F, para los valores de verdad de una proposición es enteramente
arbitrario, en ocasiones suele ser de utilidad el uso de 1 y 0 en lugar de V o F, respectivamente.
Ejemplo:
p: El cero es módulo de la suma v(p) = 1 q: 2/3 es mayor que ¼ v(q) = 1

r: 15=20-10 v(r) = 0 q1: -2 es menor que –6 v(q1) = 0
EJERCICIOS
1. Represente simbólicamente las siguientes proposiciones y determine su valor de verdad.
1. (11-5) –1 = 2 2. (10 -5)(3 -4)= 5

3. (5-2) + (6 - 3) = 3 4. -2(8 -3) = -2x8 - 6
0
5. 2 =1 6. 1/3 = 0,333
7. 42  43 = 423 8. 3235 = 325
9. 21 = 2 10. El 0 es el módulo de la multiplicación.
11. La base del sistema decimal es 10. 12. mcd (4,6) =2
13. mcm (3,16) = 2 14. Un número dígito consta de una sola cifra.
15. El cociente indica el número de veces que el dividendo contiene al divisor.
1.5. PROPOSICIÓN CERRADA COMPUESTA (PCC).
Existen varias formas de nombrar una proposición cerrada compuesta, las más importantes son:
proposición categórica compuesta, proposición molecular, proposición compuesta. En lo sucesivo, al
referirnos a una proposición cerrada compuesta (PCC), utilizaremos las palabras: proposición compuesta.
Se llama proposición compuesta a la combinación de dos proposiciones simples mediante un término

lógico. Se llama término lógico a las palabras: y, o, si y sólo si, entre otras.
Si se consideran las proposiciones: "2 es un número natural" y "2 es un número entero", y el término lógico
"Y", se tiene la siguiente proposición compuesta:
2 es un número natural y un número entero
Proposición simple Término lógico Proposición simple
De igual forma, si se consideran las proposiciones: "Cristóbal Colón está vivo", "Cristóbal Colón está
muerto", y el término lógico "o", se tiene la siguiente proposición compuesta: Cristóbal Colón está vivo o
muerto.
1.6. OPERACIONES CON PROPOSICIONES
Así como en aritmética se estudian operaciones entre números, en lógica matemática se estudian
operaciones entre proposiciones.
Se llama operación, en matemáticas, a cualquiera de los procedimientos que se emplean para transformar
unas cantidades en otras, o para efectuar con ellas determinados cálculos. Por ejemplo, en aritmética son
siete: suma, resta, multiplicación, división, potenciación, radicación y logaritmación.
En lógica matemática, dos proposiciones pueden unirse para formar otra proposición. Algunas de estas
formas (proposiciones compuestas) se presentan repetidamente y son indispensables para propósitos de
análisis. Estas formas especiales toman el nombre de "operaciones con proposiciones" o sencillamente
"operaciones lógicas". Las operaciones con proposiciones son un subconjunto de las proposiciones
compuestas.

Las principales operaciones lógicas se resumen en el siguiente cuadro.
OPERACIONES LÓGICAS
Afirmación
1. MONOÁDICAS
Negación
Conjunción
Contrasección
SIMPLES
Subsección
INTERSECTIVAS Extersección
COMPUESTA Bicondicional
2. DIÁDICAS Interdisyunción
Condicional
SIMPLES
Subdisyunción
INTERDISYUNTIVAS Disyunción (i)
COMPUESTA Disyunción (e)
Una operación es monoádica cuando dada una proposición se obtiene otra diferente (negación), y diádica
cuando de dos proposiciones se obtiene otra diferente (conjunción). En general, se llama operador al
símbolo que indica una operación o función matemática, por ejemplo: +, -, x, etc. Del mismo modo, se llama
término a la palabra, voz o vocablo que se utiliza para leer un operador, por ejemplo: mas, menos, por. El
siguiente cuadro presenta las operaciones lógicas con sus respectivos operadores y términos lógicos:
OPERACIONES LÓGICAS
1. MONOÁDICAS
OPERACIÓN OPERADOR TÉRMINO
1. Negación ~ no ...
2. DIÁDICAS
1. Intersección, conjunción  .. y ..
2.1. 2. Contrasección ↖ .. pero no ..
INTERSECTIVAS 3. Subsección ↙ No ... sino
4. Extersección  Ni ... ni
5. Bicondicional  ... si y solo si ...

6. Interdisyunción  No ... tampoco
2.2. 7. Condicional, contradisyunción  Si ... entonces ...
INTERDISYUNTIVAS 8. Subdisyunción  No ... entonces ...
9. Disyunción inclusiva (i) v ... y/o ...
10. Disyunción exclusiva (e) v ... o ...
Observación: Los operadores lógicos se conocen con el nombre de conectores o conectivos lógicos. La
palabra “no” en las operaciones contrasección, subsección, interdisyunción y subdisyunción
puede sustituirse por “es falso que” o “no es cierto que”.

1.7. PROPIEDADES FUNDAMENTALES DE LAS OPERACIONES LÓGICAS.
A continuación se estudian las operaciones lógicas que tienen mayor uso en matemática: negación,
conjunción, contrasección, bicondicional, condicional, disyunción inclusiva y disyunción exclusiva.
1.7.1. NEGACIÓN (~; no)
DEFINICIÓN.
Se llama negación de la proposición p, a la proposición que se obtiene colocando el adverbio "no" en la

proposición. Simbólicamente la negación de p se representa con ~p, y se lee "no p". Generalmente se
escribe "es falso que" o "no es cierto que" antes de la proposición.
Ejemplo: q: Quito es una ciudad

~ q: Quito no es una ciudad
~ q: Es falso que Quito es una ciudad
~ q: No es cierto que Quito es una ciudad
En matemática, el símbolo equivalente a la palabra "no" es la barra inclinada, /, la misma que se sobrepone
a un símbolo dado. Por ejemplo:
p: 7= 4+2 ~ p: 7  4+2 (Siete no es igual a cuatro más dos).

q: 9 < 2 ~ q: 9 ≮2 (Nueve no es menor que dos).
r: 10 > 4 ~ r: 10 ≯4 (Diez no es mayor que cuatro).
El valor de verdad de la negación cumple con la siguiente propiedad fundamental: Si p es verdadero

entonces ~ p es falso. De la misma manera, si p es falso entonces ~ p es verdadero. La siguiente tabla
resume la propiedad fundamental de la negación y recibe el nombre de tabla de verdad de la negación.
p ~p
Primera columna V F Segunda columna
F V
Observación: Una proposición es por definición verdadera o falsa, por tal razón se escribe una V y una F,
en la primera columna. Los valores de verdad cambian, en la segunda columna, por definición
de negación.
Ejemplos: p: 2+2 = 4 v(p) = V ~p: 2+2  4 v(~p) = F

q: 2/3 ∈ Z v(q) = F ~q: 2/3 ∈ Z v(~q) = V
EJERCICIOS
1. Represente simbólicamente las siguientes proposiciones. Halle la negación de las mismas y su valor de
verdad.
1. (3- 7) – 8 = 2 2. (15 - 5)(8-5)= 40

3. (9 -6) + (7-3) = 6 4. 2(6+3) = 2x6 + 2x3
5. 30 = 0 6. 30-(5x3)= 9
7. 12 15 = 125 8. 4245 = 425
9. 51 = 5 10. El 1 es el módulo de la multiplicación.
11. La base del sistema decimal es 10. 12. mcd (3, 9) = 3
13. mcm (3, 4) = 24 14. Número dígito es el que consta de una sola cifra.

1.7.1.1 DOBLE NEGACIÓN [~(~); no, no].
DEFINICIÓN
Dada una proposición p cualquiera, al realizar la doble negación de dicha proposición (dos negaciones
consecutivas), se obtiene como resultado la misma proposición inicial. La doble negación se conoce
también con el nombre de "negación de la negación".
Consideremos la siguiente proposición inicial:
1. p: Rolando Vera ganó la "San Silvestre" en 1989. Dato

2. ~ p: Rolando Vera no ganó la "San Silvestre" en l989. Negación de 1
3. ~ p: Rolando Vera perdió la "San Silvestre" en 1989. Sustitución "perdió" por "no ganó"
4. ~(~ p): Rolando Vera no perdió la "San Silvestre" en 1989. Negación de 3 (doble negación)
5. ~(~ p): Rolando Vera ganó la "San Silvestre" en 1989. Sustitución “No perdió” por “ganó”.
Observación: “perdió” tiene el mismo significado que “no ganó”. De igual forma; "No perdió" tiene el mismo
significado que "ganó". Al comparar la proposición 5 (negación de la negación) con la
proposición 1, notaremos que son las mismas.
Valor de verdad de la doble negación: Si la proposición inicial es verdadera, al efectuar la doble

negación, el valor de verdad sigue siendo verdadero. De la misma manera, si la proposición inicial es falsa,
al efectuar la doble negación, el valor de verdad sigue siendo falso. Es decir:
p ~p ~(~ p)
V F V
F V F
Ejemplo 1:
1. p: 2+2 = 4 v(p) = V
2. ~ p: 2+2  4 v(~p) = F
3. ~(~ p): 2+2 = 4 v[~(~ p)] = V
Ejemplo 2.
1. q: 5 es mayor que 8 v(q) = F
2. ~q: 5 no es mayor que 8 v(~q) = V
3. ~(~q): 5 es mayor que 8 v[~(~q)] = F
EJERCICIOS
1. Represente simbólicamente las siguientes proposiciones. Halle la negación, la doble negación y el valor
de verdad en cada caso (se sugiere el formato del ejemplo 1 de la doble negación).
1. (7 - 5) –6 = -4 2. (10 -5)(8-4)  40
3. (9-6) + (7-3) = 7 4. 2(6+3)  2x6 + 2x3
0
5. 5 = 5 6. 30 -(7x3)  9
7. 32 35 = 325 8. 2225  225
9. 51 = 5 10. mcd (6,12)  2
11. mcm (5,15) = 15 12. La base del sistema decimal es 10.
13. El 1 es el módulo de la multiplicación. 14. Número compuesto es el que consta de una sola cifra.
15. El cociente indica el número de veces que el dividendo contiene al divisor.
1.7.2. CONJUNCIÓN ( ; y)
DEFINICIÓN
Dos proposiciones simples, p y q, se pueden coordinar por medio del término lógico "y" para formar
una proposición compuesta llamada intersección o conjunción de las dos primeras. Simbólicamente se
representa con p  q y se lee " p y q".
Ejemplo: Sean p y q las siguientes proposiciones simples:
p: Caín es hijo de Adán q: Caín es hijo de Eva
Al coordinar las dos proposiciones con la letra "y" se tiene:
Término lógico
p  q: Caín es hijo de Adán y Eva

Proposición simple Proposición simple
Representación simbólica Proposición compuesta conjunción
Observación: La conjunción es una operación diádica (binaria), en el sentido de que a cada dos
proposiciones (p, q) asigna una nueva proposición.
Valor de verdad de la conjunción: El valor de verdad de una proposición compuesta depende del valor
de verdad de las proposiciones simples y de la propiedad fundamental del operador lógico. En lo referente
al valor de verdad de las proposiciones simples se presentan los siguientes casos:
1. Una proposición.
Por definición una proposición es verdadera o falsa, pero no las P

dos posibilidades. Por esta razón se escribe un V y un F, en la tabla
V
de verdad. Si consideramos que los valores de verdad de una
proposición son los elementos del conjunto P, entonces el
F
siguiente diagrama de Venn representa los elementos de dicho
conjunto:
2. Dos proposiciones.
Por definición, la proposición p tiene un valor V y un F. Por la misma

razón, q tiene también un V y un F. Si consideramos que los valores P Q
de verdad de las dos proposiciones son elementos de los conjuntos
P y Q, respectivamente, se tiene entonces dos diagramas de Venn. V V
Luego, procedemos a unir con una flecha, cada elemento del F F

conjunto P, con todos los elementos del conjunto Q, para obtener
las combinaciones lógicas de dos proposiciones:
Una manera fácil de recordar las combinaciones lógicas consiste en elaborar una tabla que tiene los
valores de verdad, la siguiente forma:
p Q combinaciones lógicas
V V Primera
V F Segunda
F V Tercera
F F Cuarta
De nuestro uso habitual del lenguaje podemos indicar que la conjunción "y" une, generalmente, dos
oraciones "afirmativas" (oración coordinada copulativa). Pero debemos entender que, en este sentido,
nuestros usos habituales del lenguaje no son absolutamente claros y uniformes, sino por el contrario,
existen casos en que se presentan dudas o ambigüedades. Con el objeto de eliminar toda duda y de
establecer un criterio que se aplique uniformemente en todos los casos, se tiene la siguiente definición.
DEFINICIÓN
El v(pq) = V para la primera combinación lógica, y el v(pq) = F para las demás combinaciones lógicas.
La propiedad fundamental, anotada anteriormente, se resume en la siguiente tabla de verdad.
p q pq
La conjunción es verdadera, cuando
V V V
la primera y segunda proposición es
V F F
verdadera.
F V F
F F F
Ejemplos:
1. Sean p: 2 es un número natural par y q: 2 es un número natural primo. Escribir la conjunción de p y

q: a) en forma simbólica. b) con palabras.
p  q: 2 es un número natural par y primo.
2. Sean p1 y p2 dos proposiciones simples. Construir la tabla de verdad correspondiente a la negación de

la conjunción de las dos proposiciones dadas.
p1 p2 p1  p2 ~ (p1  p2)
V V V F
V F F V
F V F V
F F F V
3. Hallar el v(p) si se conoce que: el v(p  q) = F y el v(q) = V.

Construimos la tabla de verdad de: p  q
p q pq
V V V
V F F
F V F
F F F
El v(pq) = F y el v(q) = V, se presenta en la 3a fila, por lo tanto el v(p) = F.

4. Determine el valor de verdad de: 2/4 es un número entero y racional.
2/4 es un número entero y racional
P: 2/4 es un número entero v(p) = F
q: 2/4 es un número racional v(q) = V
p  q: 2/4 es un número entero y racional. v(p  q)=F
5. Hallar el valor de verdad de la negación de la siguiente proposición compuesta:

2+2 = 5 y 4x3 = 12
P: 2+2 = 5 v(p) = F
q: 4x3 = 12 v(q) = V
p  q: 2+2=5 y 4x3=12 v(p  q)=F
~ (p  q): Es falso que; 2+2=5 y 4x3=12 v[~ (p  q)]=V
6. Construir la tabla de verdad correspondiente a la conjunción de una proposición consigo misma.
p p  P
V V V V
F F F F
Observación. Dígito: número que se expresa con una sola cifra. Natural (N): número que indica la cantidad
de elementos que tiene un conjunto determinado, N = {0, 1, 2, 3, … }. Natural par: si es la forma 2k,
siendo k elemento de los N. Natural impar: si es la forma 2k+1, siendo k elemento de N. Natural múltiplo
de 3: si es la forma 3k, siendo k natural mayor que 0. Natural divisor de 8: si la división 8/k exacta, y k
es dígito diferente de 0. Natural primo: si es mayor que 1 y es divisible por sí mismo y la unidad. Natural
compuesto: si es mayor que 3 y no es primo. Entero (Z): los naturales y los correspondientes negativos;
Z = {…, -3, -2, -1, o, 1, 2, 3, …}. Racional (Q): Número que se expresa como cociente de dos números
enteros, son de la forma a/b, siendo b  0. El conjunto Q está compuesto por los números enteros y
fraccionarios. Irracional (Q´): número que no se puede escribir como cociente de dos números enteros,
por ejemplo el número pi (3,1415 …). La expresión decimal de cualquier número irracional consta de
infinitas cifras no periódicas. Reales (R): el conjunto formado por todos los números racionales y los
irracionales.
EJERCICIOS
1. Determine el valor de verdad de las siguientes proposiciones compuestas.

1. 7 x 8 = 56 y 8 x 7 = 52
2. 2 es un número par y natural
3. 7 es un número dígito y natural
4. -7 es un número entero e irracional.
2. Hallar el valor de verdad de la negación de las siguientes proposiciones compuestas

1. Un ángulo se mide en grados y radianes
2. 3/2 = 9/4 y 12/8 = 3/2
3. 3, 1415 ... es un número entero e irracional
4. 3/5 es mayor que 1/5 y 1/5 es mayor 2/7
3. Determine el valor de verdad de las siguientes proposiciones.

1. Si v(p  q) = V y v(q) = V, Determine el valor de verdad de p.
2. Si v(p  q) = V y v(p) = F, Determine el valor de verdad de q.
3. Si v(p  q) = F y v(q) = V, Determine el valor de verdad de p.
4. Si v(p  q) = F y v(p) = F, Determine el valor de verdad de q.
5. Si v(p) = F y v(q) = V, Determine v(p  q).
1.7.3. CONTRASECCIÓN ( ↖ ; ... pero no ... )
DEFINICIÓN.
Dos proposiciones simples, p y q, se pueden coordinar por medio de las palabras "pero no" para formar
una proposición compuesta llamada contrasección de las dos primeras. Simbólicamente se representa
por p ↖q y se lee "p pero no q".
p: Quito es la capital del Ecuador. q: Quito es la capital de Francia.
Al coordinar las dos proposiciones con las palabras "pero no" se tiene:
Término lógico
p ↖q: Quito es la capital del Ecuador pero no de Francia

R. simbólica Proposición compuesta contrasección
Valor de verdad de la contrasección: El valor de verdad de una proposición compuesta depende del
valor de verdad de las proposiciones simples y de la propiedad fundamental del operador lógico. Los
valores de verdad, correspondientes a las dos proposiciones simples, están determinados por la tabla de
las combinaciones lógicas. La propiedad fundamental de la contrasección se obtiene a partir de la
siguiente definición:
DEFINICIÓN
El v(p↖q) = V para la 2a combinación lógica, y v(p↖q) = F para todas las demás combinaciones lógicas.
La misma que se resume en la siguiente tabla de verdad.
p q p ↖q La contrasección es verdadera,
V V F cuando la primera proposición es
V F V verdadera y la segunda falsa. En
F V F todos los demás casos es falsa.
F F F
Observación: La conjunción adversativa "pero" une, generalmente, dos oraciones: La primera "afirmativa"
y la segunda "negativa". La palabra "pero" expresa contraposición u oposición de un concepto
a otro, enunciado anteriormente. Por ejemplo:
"El dinero hace ricos a los hombres pero no dichosos " ( G. E. Larousse )

Ejemplos:
1. Sean p: 5 ∈ {4, 3, 2, 5} y q: 5 ∈ ∅. Escribir la contrasección de p y q: a) en forma simbólica. b) con

palabras.
p ↖q: 5 ∈ {4,3,2,5} pero no del ∅
2. Determine el valor de verdad de: 4 es un número par pero no primo.

p: 4 es un número par v(p)=V
q: 4 es un número primo v(q)=F
p↖q: 4 es un número par pero no primo v(p ↖q)=V
3. Hallar el valor de verdad de la negación de la siguiente proposición compuesta.

P: 3 es número entero v(p) = V
q: 3 es número primo v(q) = V
p ↖q: 3 es un número entero pero no primo v(p ↖q)= F
~ (p ↖q): Es falso que; 3 es un número entero pero no primo v[~ (p ↖q)] = V
4. Hallar el v(p) si se conoce que: el v[~(p ↖q)] = F y v(q) = V.

Construimos la tabla de verdad de: ~(p ↖q)
p q p↖q ~ (p ↖q)
El v[~(p ↖q)] = F y el v(q) = V, no se presentan
V V F V
V F V F en una misma fila, por lo que el v(p) no puede
F V F V tomar ninguno de los dos valores.
F F F V
EJERCICIOS

1. 0,25 es un número entero pero no irracional
2. 24.22 = 26 pero no 24/22 = 22
3. 5 divide a 80 pero no a 12
4. Riobamba es la capital de Chimborazo pero no es de Pichincha
5. El 0 es el módulo de la suma pero no es de la multiplicación
2. Hallar el valor de verdad de la negación de las siguientes proposiciones compuestas

1. “y” es un término lógico pero no es un operador.
2. 2 es un número primo pero no es par
3. ¾ es un número entero pero no es fraccionario
4. Un cuadrado tiene 4 lados pero no 3
5. a – b = a + (-b) es la definición de resta pero no es de la división.

1. Si v(p ↖ q) = F y v(p) = F, Determine el valor de verdad de q.
2. Si v(p ↖ q) = F y v(q) = V, Determine el valor de verdad de p.
3. Si v(p ↖ q) = V y v(p) = F, Determine el valor de verdad de q.
4. Si v(p ↖ q) = V y v(q) = V, Determine el valor de verdad de p.
5. Si v(p) = F y v(q) = V, Determine v(p ↖q).
4. Construir la tabla de verdad de la contrasección de una proposición consigo misma.
1.7.4. BICONDICIONAL (; ... si y sólo si ... )
DEFINICIÓN
Dos proposiciones simples, p y q, se pueden coordinar por medio de las palabras "... si y sólo si ..." para
formar una proposición compuesta llamada bicondicional de las dos primeras. Se representa por “p 
q” y se lee "p si y sólo si q". Se conoce, también, con el nombre de bisección.
p: 6 es divisible por 2 q: 6 es un número par.
Al coordinar las dos proposiciones con las palabras “ ... si y sólo si ... “, se obtiene:
Término lógico
p  q: 6 es divisible por 2 si y sólo si 6 es número par

Proposición Simple Proposición simple
R. simbólica Proposición compuesta bicondicional
Valor de verdad del bicondicional: El valor de verdad de una proposición compuesta depende del valor
de verdad de las proposiciones simples y de la propiedad fundamental del operador lógico. Los valores de
verdad, correspondientes a las dos proposiciones simples, están determinados por la tabla de las
combinaciones lógicas. La propiedad fundamental del bicondicional se obtiene a partir de la siguiente
definición:
DEFINICIÓN
El v(pq) = V para la 1ª y 4ª combinaciones lógicas, y v(pq) = F para todas las demás casos.
p q pq El bicondicional es verdadero cuando

V V V la primera y la segunda proposición,
V F F tienen el mismo valor de verdad. En
F V F todos los demás casos es falso.
F F V
Observación: La frase "si y sólo si" no se usa a menudo fuera de las matemáticas. Pocas personas dirían
alguna ocasión "voy al cine si y sólo si hace calor", al mismo tiempo que es posible que alguno puede decir
algo como "voy al cine si hace calor, pero sólo si hace calor". La conjunción "si" denota condición o hipótesis
en cuya virtud una cosa depende de otra.

Ejemplos.
1. Sean p: 5 es un número positivo y q: 5 es mayor que cero. Escribir el bicondicional de p y q : a) en

forma simbólica, b) con palabras.
pq: 5 es un número positivo ssi es mayor que cero
Observación: En matemática se emplea "ssi", generalmente, como abreviatura de "si y sólo si".
2. Determine el valor de: 33 = 27 si y sólo si 3x3x3 = 27.

p: 33 = 27 v(p)=V
q: 3x3x3 = 27 v(q)=V
pq : 33 = 27 ssi 3x3x3 = 27 v(pq)=V
3. Hallar el valor de verdad de la negación de la siguiente proposición compuesta: El 4 es par ssi 4/2=1.
p: el 4 es par v(p) = V
q: 4/2 = 1 v(q) = F
p  q: el 4 es par ssi 4/2 = 1 v(p  q)=F
~ (p  q): Es falso que; el 4 es par ssi 4/2 = 1 v[~ (p  q)]= V
4. Hallar el v[~(pq)] si se conoce que: el v(p) = F y el v(q) = V.
p q p q ~ (pq)
V V V F
V F F V
F V F V
F F V F
a
El v(p) = F y el v(q) = V se presenta en la 3 fila, por lo tanto el v[~(p  q)] = V.
EJERCICIOS

1. 9/3 = 3 ssi 3 x 3 = 9
2. 2/5 es un número real ssi 2/5 es natural
3. 1 > 2 ssi 1 - 2 > 0
4. 10 es entero positivo ssi 10 > 0
5. 33 = 27 ssi 3x3 = 27
2. Hallar el valor de verdad de la negación de las siguientes proposiciones compuestas.

1. 10 es número par ssi 10 es múltiplo de 2
2. 5/3 > 8/3 ssi 5 > 8
3. 3/2 > 2/ 5 ssi 2 < 5
4. 12/4 = 3 ssi 12 = 4 x 3
5. –2 < -1 ssi 2 > 1

1. Si v(p  q) = F y v(q) = F, v(p) = ?
2. Si v(p  q) = F y v(p) = V, v(q) = ?
3. Si v(p  q) = V y v(p) = V, v(q) = ?
4. Si v(p  q) = V y v(q) = F, v(p) = ?
5. Si v(p) = F y v(q) = F, Determine v(p  q).
4. Construir la tabla de verdad correspondiente a la negación de la bisección consigo misma.
5. Sean q1 y q2 dos proposiciones simples. Construir la tabla de verdad correspondiente a la negación de
la bisección de las proposiciones dadas.
1.7.5. CONDICIONAL (; si ... entonces ... ).
DEFINICIÓN
Dos proposiciones simples, p y q, se pueden coordinar por medio de las palabras " Si ... entonces ..."
para formar una proposición compuesta llamada condicional de las dos primeras. Se representa por
“pq” y se lee " Si p entonces q ". Se conoce, también, con el nombre de contradisyunción.
p: Ud. nació en Quito q: Ud. es Quiteño.
Término lógico
p q: Si usted nació en Quito entonces es quiteño.

R. simbólica Proposición compuesta condicional
Valor de verdad del condicional: El valor de verdad de una proposición compuesta depende del valor de
verdad de las proposiciones simples y de la propiedad fundamental del operador lógico.
DEFINICIÓN
El v(pq)= F para la segunda combinación lógica, y v(pq) = V para todas las demás combinaciones.
p q pq
El condicional es "falso" cuando la
V V V
primera proposición es verdadera y
V F F
la segunda falsa. En todos los demás
F V V
casos es verdadero.
F F V
Observación: Las oraciones condicionales constan de dos partes: La 1a oración que expresa la condición,
y la 2a que indica la consecuencia de lo expresado en la 1a. Generalmente, se usan las siguientes frases:
en este caso, siendo así, siempre que, ya que, con tal que, con que, como. Por ejemplo:
"Como no me des, me enojo" "Siempre que vengas, iré"

"Con que me pagues la mitad, te perdono el resto" "Con tal que te calles, te doy un dulce".
Gustavo Alfredo Jácome
Ejemplos:
1. Sean p: 1/2=2/4 y q: 1x4=2x2. Escribir el condicional de p y q: en forma simbólica y con palabras.
p q: Si 1/2 = 2/4 entonces 1x4 = 2x2.

2. Hallar el valor de verdad de la negación: Si 5 es elemento de N entonces 5 es mayor que 0.
p: 5 es elemento de N v(p) = V
q: 5 es mayor que 0. v(q) = V
p q: Si 5 es elemento de N entonces 5 es mayor que 0. v(p q) = V
~(pq): es falso que; si 5 es elemento de N entonces 5 es mayor que 0. v[~(p q)] = F
3. Sean r1 y r2 dos proposiciones simples. Construir la tabla de verdad para la negación del condicional.
r1 r2 r1 r2 ~ (r1 r2)

V V V F
V F F V
F V V F
F F V F
4. Hallar el v[~(p q)] si se conoce que: el v(p) = F y el v(q) = V.
p q p q ~ (p q)
V V V F
V F F V
F V V F
F F V F
El v(p) = F y el v(q) = V se presenta en la 3a fila, por lo tanto el v[~(p q)] = F.
EJERCICIOS

1. Si hoy es sábado entonces mañana es domingo
2. Si ½ = 0,5 entonces 2/4 = 0,5
3. Si 1/3 es un número racional entonces es entero
4. Si 2+ 4 = 6 entonces 2 = 6 - 4
5. Si 33 = 27 entonces 3x3x3x3 = 9

1. Si 2 es un número primo entonces es compuesto
2. Si 3 > 2 entonces 3-2 > 0
3. Si 5 -3 = 0 entonces 5 = 3
4. Si 7 + 2 = 9 entonces 7 = 9 + 2
5. Si 12 es un número par entonces es divisible para 2

1. Si v(p  q) = F y v(q) = V, v(p) = ?
2. Si v(p  q) = F y v(p) = F, v(q) = ?
3. Si v(p  q) = V y v(p) = V, v(q) = ?
4. Si v(p  q) = V y v(q) = F, v(p) = ?
5. Si v(p) = F y v(q) = V, Determine v(p  q).
4. Construir la tabla de verdad correspondiente al condicional y a la negación de la contrasección. ¿Qué
conclusión se puede obtener?
5. Construir la tabla de verdad correspondiente a la negación del condicional de una proposición consigo
misma.
1.7.6. DISYUNCIÓN INCLUSIVA (v ; … y/o … )
DEFINICIÓN.
Dos proposiciones simples, p y q, se pueden coordinar por medio de las palabras "y/o" para formar
una proposición compuesta llamada disyunción inclusiva de las dos primeras Simbólicamente se
representa por “p v q” y se lee "p y/o q". Se conoce también con el nombre de exterdisyunción.
Ejemplo: Sean p y q las siguientes proposiciones simples.
p: 4 es divisible por 2. q: 6 es divisible por 2
Término lógico
p v q: 4 es divisible por 2 y/o 6 es divisible por 2.

Proposición simple P. simple
R. simbólica Proposición compuesta disyunción inclusiva
Observación: las letras " y/o " significan lo uno, lo otro, o ambas cosas.
Valor de verdad de la disyunción inclusiva: El valor de verdad de una proposición compuesta depende
del valor de verdad de las proposiciones simples y de la propiedad fundamental del operador lógico.
DEFINICIÓN.
El valor v(p v q) = F para la cuarta combinación lógica y v(p v q) = V para todas las demás
combinaciones.
p q pvq La disyunción inclusiva es "falsa"

V V V cuando la primera y segunda
V F V proposición son falsas. En todos los
F V V demás casos es verdadera.
F F F
Ejemplos:
1. Sean p: 4 es un número entero y q: 4 es un número racional. Escribir la disyunción inclusiva de p y q:

a) en forma simbólica. b) con palabras.
p v q: 4 es un número entero y/o un número racional.
2. Determine el valor de verdad de la siguiente proposición compuesta: El 1 es dígito y/o natural.
p: El 1 es dígito v(p)=V
q: El 1 es natural v(q) = V
p v q: El 1 es dígito y/o natural v(p v q) = V

3. Sean p y q dos proposiciones simples. Construir la tabla de verdad correspondiente a la negación de
la disyunción inclusiva de las dos proposiciones dadas.
p q pvq ~ (p v q)
V V V F
V F V F
F V V F
F F F V
4. Hallar el v(q) si se conoce que: el v[ ~(p v q)] = V y el v(p) = F.
p q pvq ~ (p v q)
V V V F
V F V F
F V V F
F F F V
El v(p) = F y el v[~(p v q)]= V, se presenta en la 4a fila, por lo tanto el v(q) = F.
5. Construir la tabla de verdad correspondiente a la negación de la disyunción inclusiva de una

proposición consigo misma.
p p v p ~(p v p)
V V V V F
F F F F V
EJERCICIOS
1. -5 es un número entero y/o irracional

2. –(24.22)= -26 y/o 24/22 = 22
3. El 0 es el módulo de la suma y/o de la multiplicación
4. 5 divide a 10 y/o a 8
5. Ambato es la capital de Tungurahua y/o de Pichincha
2. Hallar el valor de verdad de la negación de las siguientes proposiciones compuestas:
1. “y” es un término lógico y/o un operador.

2. -¾ es un número entero y/o fraccionario
3. 6 – 4 = 6 + (-4) es la definición de resta y/o de la división.
4. 3 es un número primo y/o impar
5. Un cuadrado tiene 4 lados y/o 3
1. Si v{~(p v r)} = F y v(p) = F, v(r) = ?

2. Si v{~(p v r)} = F y v(r) = V, v(p) = ?
3. Si v{~(p v r)} = V y v(p) = F, v(r) = ?
4. Si v{~(p v r)} = V y v(r) = V, v(p) = ?
5. Si v(p) = F y v(r) = V, Determine v{~(p v r)}.

1.7.7. DISYUNCIÓN EXCLUSIVA ( v ; … o …)
DEFINICIÓN.
Dos proposiciones simples, p y q, se pueden coordinar por medio de la palabra "o" para formar una
proposición compuesta llamada disyunción exclusiva de las dos primeras. Simbólicamente se
representa por “p v q” y se lee "p o q". La disyunción exclusiva se conoce también con el nombre de
bidisyunción.
Ejemplo: Sean p y q las siguientes proposiciones simples.
p: Simón Bolívar está muerto q: Simón Bolívar está vivo
Término lógico
p v q: Simón Bolívar está muerto o vivo

R. simbólica Proposición compuesta disyunción exclusiva
Valor de verdad de la disyunción exclusiva: El valor de verdad de una proposición compuesta depende
del valor de verdad de las proposiciones simples y de la propiedad fundamental del operador lógico.
DEFINICIÓN
El v(p v q) = F para la primera y cuarta combinación lógica, y v(p v q) = V para todas las demás
combinaciones lógicas.
p q pvq
La disyunción exclusiva es "falsa"
V V F
cuando las dos proposiciones tienen
V F V
el mismo valor de verdad. En todos
F V V
los demás casos es verdadera.
F F F
Observación: Las oraciones coordinadas disyuntivas son las que expresan pensamientos opuestos que se
excluyen mutuamente. La letra “o” significa “lo uno o lo otro pero no ambas cosas”. Por ejemplo:
El valor de verdad de una proposición es V o F. Π es un número racional o irracional
En algunos casos, la "o" se cambia por "u": Fueron siete u ocho los alumnos que asistieron.
Ejemplos:
1. Sean p: El 0 es el módulo de la suma y q: el 0 es el módulo de la multiplicación. Escribir la disyunción

exclusiva de p y q: a) en forma simbólica. b) con palabras.
p v q: El 0 es el módulo de la suma o de la multiplicación.

2. Determine el valor de verdad de la negación: 10 es un número entero par ó impar.
p: 10 es un número entero par v(p) = V
q: 10 es un número entero impar v(q) = F
p v q: 10 es un número entero par ó impar. v(p v q) = V
~ (p v q): Es falso que, 10 es un número entero par ó impar. v[~ (p v q)] = F
3. Construir la tabla de verdad correspondiente a la negación de la disyunción exclusiva de una

proposición consigo misma.
p p v p ~(p v p)
V V F V V
F F F F V
EJERCICIOS

1. -10 es entero positivo ó -10 es entero
2. 33 = 27 ó 3x3 = 27
3. 5 es un número real ó 5 es natural
4. 7 > 2 ó 7- 2 > 0
5. 9/3 = 3 ó 3 x 3 = 9
1. 10 es número par ó 10 es múltiplo de 3
2. 5/3 > 8/3 ó 5 > 8
3. 3/2 > 2/ 5 ó 2 < 5
4. 12/4 = 3 ó 12 = 4 x 3
5. –2 < -1 ó 2 > 1
3. Determine el valor de verdad de las siguientes proposiciones
1. Si v(p v q) = F y v(q) = F, v(p) = ?
2. Si v{~(p v q)} = F y v(p) = V, v(q) = ?
3. Si v(p v q) = V y v(p) = V, v(q) = ?
4. Si v{~(p v q)} = V y v(q) = F, v(p) = ?
5. Si v(p) = F y v(q) = F, Determine v{~(p v q)}
4. Construir la tabla de verdad para la negación del bicondicional y para la disyunción exclusiva. ¿Qué
conclusiones se pueden obtener?
1.8. SÍNTESIS DE LAS OPERACIONES LÓGICAS.
Las operaciones lógicas de mayor aplicación se estudiaron anteriormente. A continuación, se presenta una
síntesis de todas las operaciones intersectivas e interdisyuntivas:
OPERACIONES LÓGICAS INTERSECTIVAS

OPERACIÓN SIMPLES COMPUESTA
NOMBRE Conjunción1 Contrasección Subsección Extersección2 Bisección
TÉRMINO Y ... pero no ... No ... sino ... Ni ... ni ... ... ssi ...
OPERADOR  ↖ ↙  
P q p  q p ↖q p ↙q p  q p  q
V V V F F F V
V F F V F F F
F V F F V F F
F F F F F V V

OPERACIONES LÓGICAS INTERDISYUNTIVAS
OPERACIÓN SIMPLES COMPUESTA
3
NOMBRE Interdisyunción Condicional4 Subdisyunción Disyunción i5 Disyunción e6
TÉRMINO No ... tampoco ... Si ... entonces No ... entonces Y/o O
OPERADOR    V V
P q pq p q p q p v q p v q
V V F V V V F
V F V F V V V
F V V V F V V
F F V V V F F
Observación: El adverbio No, en los términos lógicos anteriores, puede reemplazarse por: No es cierto
que o es falso que.
Algunas de las operaciones anteriores tienen dos o más nombres, los mismos que se indican a continuación:
1: Conjunción y/o intersección. 2: Extersección, negación conjuntiva y/o negación compuesta. 3:
Interdisyunción, Negación alternativa y/o barra de Schaffer. 4: Condicional y/o contradisyunción. 5:
Disyunción inclusiva y/o exterdisyunción. 6: Disyunción exclusiva y/o Bidisyunción.
EJERCICIOS
1. Un cuadrilátero no tiene 3 lados sino 4.

2. Ni Quito ni Lima es la capital de Colombia
3. Quito no es la capital del Perú tampoco de Colombia
4. Un triángulo no tiene 4 lados entonces tiene 3 lados
5. El metro no es una unidad de masa ni de volumen
6. No es verdad que 2 + 4 = 6 tampoco 2 + 4 = 5.
7. ½  0,5 entonces 2/4 = 0,5.
8. 23  27 entonces 2x2x2 = 8
1. El módulo de la adición no es 0 sino 1

2. Un ángulo recto no tiene 90º sino 45º
3. 3/2  2/3 ni 2/4 = 4/8
4. El cero no es un número positivo ni negativo.
5. Un cuadrado no tiene tres lados tampoco dos
6. El 0 no es positivo tampoco negativo
7. 2 no es número primo entonces es compuesto
8. 6 no es mayor que 4 entonces 6-4 > 0
1. Si v(p ↙ q) = F y v(p) = V, v(q) = ? 2. Si v(p  q) = F y v(p) = V, v(q) = ?.

3. Si v(p  q) = F y v(q) = F, v(p) = ? 4. Si v(p) = F y v(q) = F, Determine v(p  q).
5. Si v{ ~(q  p)} = F y v(p) = V, v(q) = ? 6. Si v{~(q  p)} = F y v(q) = F, v(p) = ?.
7. Si v{~(q  p)} = V y v(q) = V, v(p) = ? 8. Si v{~(q  p)} = V y v(p) = F, v(q) = ?.
4. Construya un mentefacto para las operaciones lógicas intersectivas.

5. Construya un mentefacto para las operaciones lógicas interdisyuntivas.
CAPÍTULO 2
POLINOMIOS BOOLEANOS
2.1. VARIABLES LÓGICAS.
En general, la palabra variable se usa para indicar que una persona o cosa, deja de ser de una forma o
manera para empezar a ser de otra. Por ejemplo: las calificaciones de un alumno.
Se llama variable, en matemática, a las letras minúsculas x, y, z; que representan indistintamente

cualquier número de un conjunto determinado (pueden tomar diferentes valores).
Ejemplo: En la expresión x + 0 = x, siendo el conjunto universo los números naturales, la letra x es

una variable; porque puede tomar cualquiera de los valores de dicho conjunto.
N
variable
0
1 0 + 0= 0
2 x + 0 = x 1+0=1
3 ... 2+0=2
DEFINICIÓN.
Se llama variable lógica a las letras minúsculas: p, q, r; con o sin subíndices, que representan
indistintamente a cualquier proposición, de un conjunto dado (pueden designar diferentes
proposiciones). Una variable lógica se conoce también con el nombre de indeterminada.
Ejemplo:
Si consideramos la proposición compuesta p  q, y el conjunto P cuyos elementos son las proposiciones

que se indican. Entonces, las letras p y q son variables porque pueden representar a cualquiera de las
proposiciones del conjunto P.
P
Quito es la capital del Ecuador

Un triángulo tiene 4 lados
Un cuadrado tiene dos lados
Lima está en Perú
...
VARIABLE VARIABLE
p  q
Quito es la capital del Ecuador y Lima está en Perú

Un triángulo tiene 4 lados y un cuadrado tiene dos lados
Msc. Paco Bastidas Romo & Otros. 21 Polinomio Booleano
2.2. POLINOMIO BOOLEANO.
DEFINICIÓN
Se llama polinomio, en álgebra, a la combinación de números y letras (variables) mediante las

operaciones suma, resta, multiplicación, entre otras.
Es decir, los polinomios algebraicos se obtienen ligando las variables algebraicas mediante operadores:
más (+), menos (-), por (.), dividido para (/).
Ejemplo: 2x2 monomio

x+y binomio
x.x + x.y - y.y = x2 + xy - y2 trinomio
(-2x)(3x - 2y + z) = -6x2 + 4xy - 2xz
(2x - 3y)(4x - 2y) = 8x2 - 16xy + 6y²
Observación: En general, se llama polinomio a los monomios (términos), binomios y trinomios.
DEFINICIÓN
Se llama polinomio booleano, a la combinación de variables con los operadores lógicos.
Observación: Algunos autores usan la palabra booliano en lugar de booleano.
Ejemplo: p⋀~q
(p v q)  ~ p
(p  r) v (r  p)
[(p v q) ⋀~ p] ↑~ [(p  q]
Un polinomio booleano se representa con las letras mayúsculas (P, Q, R) y un paréntesis, en el mismo que
se escriben las variables del polinomio, separadas por comas. Por ejemplo:
P(p,q): p ⋀~q
Q(p,q): (p v q)  ~ p
P1(p,q): [(p v q) ⋀~ p] ↑~ [(p  q]
En algunos casos, se usa la expresión P(p,q, ...) para indicar un polinomio booleano cualquiera.
Observación: En general, se llama polinomio booleano a la proposición simple y/o compuesta. Un

polinomio booleano, se conoce también con el nombre de fórmula.
2.3. SIGNOS DE AGRUPACIÓN.
Los signos de agrupación son de cuatro clases:

Paréntesis ( )
Corchete [ ]
Llaves { }
Barra
Observación: El corchete se conoce con el nombre de paréntesis rectangular y la barra como vínculo.

2.3.1. USOS DE LOS SIGNOS DE AGRUPACIÓN.
En matemática, los signos de agrupación se emplean para indicar que las cantidades encerradas en ellos
deben considerarse como un todo, o sea, como una sola cantidad.
Ejemplo:
1. La expresión 9+(5-3), es igual a 9+2. El paréntesis indica que la diferencia 5-3 debe sumarse con
9, es decir, se resuelve primero el paréntesis, para efectuar la suma. 9+ (5-3)= 9 + 2.
2. La expresión -3(5+2), es igual a -3x7. El paréntesis indica que la suma 5+2 debe multiplicarse
con -3, es decir, se resuelve primero el paréntesis y luego el producto. -3(5+2) = -3x7.
En ocasiones se sustituye el paréntesis por la barra, con el mismo sentido. Por ejemplo:
9+(5-3) = 9+2 se puede escribir 9+ 5-3 = 9+2
En general; los corchetes, llaves, paréntesis y el vínculo se usan, especialmente, cuando es necesario
incluir varios signos de agrupación dentro de otros. Por ejemplo:
1. En lugar de la expresión 22 - (32 - ( 4+5 )2 )2 , se prefiere escribir:
22 - [32 - (4+5)2 ]2
2. En lugar de la expresión 2 – ( 3 (-4 + (1 - (5+2) ) -7) ), se prefiere escribir:
2 - { 3 [-4 + (1 - 5 + 2)] -7}
De igual forma, en lógica matemática, los signos de agrupación se emplean para indicar que las
proposiciones encerradas en ellos deben considerarse como un todo, o sea como una sola proposición.
Por ejemplo:
1. El polinomio: p( p  r), indica que la conjunción debe resolverse primero y luego el condicional.
2. La fórmula ~ (p v q), indica que la disyunción exclusiva debe resolverse primero y luego la
negación.
3. El polinomio: (~p v ~q), indica que la negación debe resolverse primero y luego la disyunción
inclusiva.
En ocasiones se sustituye el paréntesis por la barra, con el mismo sentido. Por ejemplo:
p  ( p  r), se puede escribir p  p  r
En general, los corchetes, llaves, paréntesis y el vínculo se usan, especialmente, cuando es necesario
incluir varios paréntesis unos dentro de otros. Por ejemplo:
En vez de la expresión ~( ( ( p v q )  ~q )  ( p  q ) )
Se prefiere escribir ~ { [ ( p v q )  ~q ]  ( p  q ) }

2.3.2. SUPRESIÓN DE LOS SIGNOS DE AGRUPACIÓN.
En matemática, las expresiones que contienen varios signos de agrupación, superpuestos, pueden
"simplificarse"; suprimiendo dichos signos, sucesivamente.
Para suprimir los signos de agrupación se efectúan las operaciones indicadas, aplicando las reglas
elementales de la aritmética o álgebra, según corresponda. Hay dos maneras de proceder, según se
prefiera: de afuera hacia adentro o de adentro hacia afuera. Por ejemplo:
5 - { a - [ 2a - ( a - 3 - a ) ] } 5 - { a - [ 2a - ( a - 3 - a ) ] }
= 5 - { a - [ 2a - ( a - 3 + a ) ] } = 5 - a + [ 2a - ( a - 3 - a ) ]
= 5 - { a - [ 2a - a + 3 - a ] } = 5 - a + 2a - ( a - 3 - a )
= 5 - { a - 2a + a - 3 + a} = 5 - a + 2a - a + 3 - a
= 5 - a + 2a - a + 3 – a = 5 - a + 2a - a + 3 - a
=8–a =8-a
En lógica matemática, se suprimen los signos de agrupación, sucesivamente, de adentro hacia afuera. No
es posible suprimir de afuera hacia adentro, como en el caso de la aritmética o álgebra.
2.4. TABLAS DE VERDAD DE POLINOMIOS BOOLEANOS.
Las “tablas de verdad” se usan para calcular los valores de verdad de los polinomios booleanos, a partir
de los valores de verdad de sus variables y de las propiedades fundamentales de los operadores
lógicos. Existen dos casos: Para valores particulares de las variables y para todas las combinaciones
lógicas.
2.4.1. VALORES PARTICULARES.
Cuando se indican los valores particulares de las variables de un polinomio booleano, se procede de la
siguiente manera.
Ejemplo 1: Si v(p) = V y v(q) = F. Determine v[( p ⋀ q)  (q ⋀ p) ].
PROCEDIMIENTO SOLUCIÓN
1. Escribir el polinomio de tal forma que cada

variable y operador lógico encabece o inicie ( p  q)  (q  p)
una columna.
2. Escribir los valores de verdad de las variables ( p  q)  (q  p)

debajo de cada una, según corresponda. V F F V
3. Resolver los signos de agrupación, de dentro

hacia afuera, aplicando las propiedades ( p  q )  ( q  p )
fundamentales de los operadores lógicos. Los V F F V F F V
números en la última fila indican el orden de las
operaciones. 1 2 1 3 1 2 1
∴ v [( p  q)  (q  p) ] = V
Observación: El valor de verdad del polinomio booleano, se encuentra en la parte superior del paso 3. El
símbolo “∴” se lee: “luego”, “por lo tanto”, entre otras.

Ejemplo 2.
Si v(p) = F y v(q) = V Determine v[(p q)  (~ p v q)]
1. Escribir el polinomio de tal forma que cada

variable y operador lógico encabece o inicie (p  q)  ( ~ p v q)
una columna.
2. Escribir los valores de verdad de las variables, (p  q)  ( ~ p v q)

debajo de cada una, según corresponda. F V F V
3. Resolver los signos de agrupación, de dentro ( p  q)  ( ~ p v q)

hacia afuera, aplicando las propiedades F V V V VF V V
fundamentales de los operadores lógicos. Los
números en la última fila indican el orden de las 1 3 1 4 2 1 3 1
operaciones.
∴ v [(p  q)  ( ~ p v q)] = V columna 4
Observaciones:
a. La operación lógica negación, del ejemplo anterior afecta a la variable p, por lo tanto ésta se
resuelve antes del paréntesis. Por esta razón consta, en la última fila, con el número 2.
b. Si dos paréntesis no están incluidos, el uno en el otro, entonces las operaciones indicadas pueden
realizarse simultáneamente. En el ejemplo, (pq) no está incluido en (~p v q), por lo tanto pueden
realizarse simultáneamente; por ello, el orden de los pasos, en la última fila, es el mismo (3).
c. El valor de verdad del polinomio booleano se indica en el paso 4.
Ejemplo 3.
Si v(p) =F y v(q) =F. Determine v[(p v q)  ~(~ p ~q)]
1. Escribir el polinomio (p v q)  ~(~p  ~q)
2. Escribir los valores de verdad. (p v q)  ~(~p  ~q)

F F F F
3. Resolver los signos de agrupación. ( p v q)  ~ ( ~ p  ~ q)

F F F V F V F V V F
1 3 1 5 4 2 1 3 21
∴ v [(p v q)  ~(~ p ~q)] = V columna 5
Observación: En el ejemplo anterior, la negación de la columna 2 debe resolverse antes de la

conjunción. La negación de la columna 4 afecta a todo el paréntesis, por lo tanto se debe
cambiar el valor de verdad de la conjunción (columna 3).

Ejemplo 4. Si v(p) = F, v(q) = V y v(r) = V Determine el valor verdad del siguiente polinomio:
[( p  q )  ( q  r ) ]  ( p  r )
F V V V V V V V F V V
1 2 1 3 1 2 1 4 1 2 1 ∴ v { [ ( p  q ) ( q  r ) ]  ( p  r ) } = V
Ejemplo 5. Si v(p) = V y v(q) = V. Determine v[(p ↓q)  (~ p  ~q)]
( p ↓ q )  ( ~ p  ~ q )
V F V V F V F F V
1 4 1 5 2 1 3 2 1 ∴ v [(p ↓q)  (~p  ~q)]) = V
Ejemplo 6. Si v(p) = F. Determine v [( p  ~ p) ].
p  ~ p
F F VF
1 3 21 ∴ v [(p  ~p)] = F
EJERCICIOS
1. Hallar el valor de verdad de los siguientes polinomios booleanos:
1. v(p) = V v(q) = V v{ (p  q) ↖ p} = ?
2. v(p) = V v(q) = F v{ (p  q)  q} = ?
3. v(p) = F v(q) = V v{ (p ↙ q)  p} = ?
4. v(p) = F v(r) = F v{ (p v r)  p} = ?
5. v(p) = V v(r) = V v{ (p v r)  r} = ?
6. v(p) = V v(r) = F v{ (p  r) ↖~ r} = ?
7. v(p1) = F v(p2) = V v{ (p1  p2)  ~ p2} = ?
8. v(q1) = F v(q2) = F v{ ~ (q1 ↙ q2)  q1} = ?
9. v(q1) = F v(q2) = F v(q3) = F v{ [ (q1 ↖ q2)  (q2 ↙ q3) ]  ~ q3} = ?
10. v(r1) = V v(r2) = F v(r3) = V v{ (r1 ↖r2)  ~ r3  (r3 v r1 )} = ?
11. v(p) = V v(q) = F v(r) = F v{ [ (p ↖ q) v (q ↙ r) ] (p  q)} = ?
12. v(p) = F v(q) = V v(r) = F v{ ~ [ (p  q)  (p  q) ]  (p  r)} = ?
13. v(r) = V v(q) = V v(p) = V v{ [ (r ۸ q) r ]  ( p  ~ q) } = ?
14. v(r) = V v(q) = F v(p) = V v{ (r ۸ ~ q) v (q v r) v (r  p)} = ?
15. v(r) = F v(q) = V v(p) = V v{ ~ [ r v q  r  q ]  (p v ~ r)} = ?
16. v(p) = V v(q) = V v(r) = F v{ ~ [ (p  r)  (r  q) ]  (p  r)} = ?
17. v(r) = F v(q) = F v(p) = V v{ [ (q  r) r ]  ( q  ~ p) } = ?
18. v(r) = V v(q) = F v(p) = F v{ (r  ~ q) v (q v r) v (r  p)} = ?
19. v(r) = V v(q) = V v(p) = V v{ ~ [ q v r  r  q ] ۸ (r v ~ p)} = ?
20. v(r) = F v(q) = V v(p) = F v{ ~ [ q v p  r  p ] ۸ (q v ~ r)} = ?

2.4.2. VALORES GENERALES.
Se entiende por valores generales al proceso mediante el cual se puede conocer los valores de verdad
para todas las combinaciones lógicas de las variables, dado un polinomio cualquiera. Por lo mismo,
iniciaremos este tema con la revisión de: combinaciones lógicas, tablas de verdad y valor de verdad del
polinomio booleano.
2.4.2.1. COMBINACIONES LÓGICAS.
A continuación se detalla un procedimiento general para hallar el número de combinaciones lógicas,

considerando cualquier número de proposiciones (variables).
1. Una variable (p).
Si consideramos que los valores de verdad de una proposición P V

son los elementos del conjunto P, entonces el siguiente diagrama
de Venn representa los elementos de dicho conjunto: F
Por definición una proposición es verdadera o falsa, pero no las P

dos posibilidades. Por esta razón se escribe un V y un F, en la V
tabla de verdad. F
2. Dos variables (p,q).
Por definición, la proposición p tiene un valor V o un F. Por la

misma razón, q tiene también un V o un F. P Q
Si consideramos que los valores de verdad de las dos V V

proposiciones son elementos de los conjuntos P y Q,
respectivamente, se tiene entonces dos diagramas de Venn. F F
Luego, procedemos a unir con una flecha, cada elemento del

conjunto P, con todos los elementos del conjunto Q, para
obtener las combinaciones lógicas de dos proposiciones:
Una manera fácil de recordar las combinaciones lógicas consiste en una tabla que tiene la siguiente
forma:
p q combinaciones lógicas
V V Primera
V F Segunda
F V Tercera
F F Cuarta
Observación: los pares ordenados: (V,V), (V,F), (F,V) y (F,F), se conocen con el nombre de
combinaciones lógicas.
3. Tres variables (p,q,r)
Si consideramos que las combinaciones lógicas de las proposiciones p y q son elementos del
conjunto P, estas pueden representarse en un diagrama de Venn, de la siguiente forma:

P
V V
V F
F V
F F
Por definición, la proposición r (tercera variable) tiene un V y un F. Si consideramos que los valores
de verdad de la proposición r son elementos del conjunto R, se tiene entonces dos diagramas de Venn.
Luego, se une con una flecha, cada elemento del conjunto P, con todos los elementos del conjunto R,
para obtener las combinaciones lógicas de tres proposiciones. En el siguiente diagrama se señalan dos
de las ocho flechas.
P R
V V V
V F
F V
F
F F
Una manera fácil de recordar, las combinaciones lógicas, consiste en una tabla que tiene la siguiente
forma:
p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Observación: En una tabla con tres proposiciones los valores se alternan de cuatro en cuatro para la
primera proposición, de dos en dos para la segunda y de uno en uno para la tercera.
4. n variables (p,q,r, … n)
En una tabla con n proposiciones los valores se alternan de 2n-1 verdaderos y 2n-1 falsos para la
primera proposición, la mitad de 2n-1 verdaderos o falsos para la segunda proposición, la mitad del
valor anterior, para la tercera proposición y así sucesivamente; El 2 indica el número de valores de
verdad (verdadero, falso) y n el número de proposiciones.
Número de proposiciones
n –1
Valores de verdad: V, F.
2
Observación: La expresión 2n indica el número total de filas que tiene la tabla.

Ejemplo 1. Una variable (p).
Cuando es una variable, entonces n = 1. Luego, 2n indica el número total de filas (2) que tiene la tabla.
2n-1 indica el número de verdaderos y falsos (1). La variable p tiene un verdadero y un falso: 21-1 = 2° = 1.
Ejemplo 2. Dos variables (p, q).
El número total de filas que tiene la tabla es 2 n y n= 2. Por sustitución, se tiene: 22 = 4.
Variable p. Como n = 2, se sustituye este valor en la expresión 2 n-1. Luego, 22-1 = 21 = 2.

El número 2 indica que la proposición p (primera variable) tiene dos verdaderos y dos falsos.
Variable q. Se divide la expresión 2n-1 para 2. Luego, 2n-1 / 2 = 2/2 = 1.

El número 1 indica que la proposición q (segunda variable) tiene un verdadero y un falso, hasta
completar la tabla. La siguiente tabla resume lo dicho anteriormente:
P q
V V
V F
F V
F F
Ejemplo 3. Tres variables (p, q, r).
El número total de filas que tiene la tabla es 2 n y n= 3. Por sustitución, 23 = 8.
Variable p. Como n = 3 se sustituye este valor en la expresión 2 n-1. Luego, 23-1 = 2² = 4.

El número 4 indica que la proposición p (primera variable) tiene 4V y 4F. La primera proposición
determina el número de filas que ha de tener la tabla, esto es 8 filas (4+4=8).
Variable q. Se divide la expresión 2n-1 para 2. Por lo que, 2n-1 /2 = 4/2 = 2.

El número 2 indica que la proposición q (segunda variable) tiene dos verdaderos y dos falsos.
Variable r. Se divide la expresión 2n-1 /2 para 2. Luego, (2n-1 /2) /2 = 2n-1 /4 = 4/4 = 1.
El número 1 indica que la proposición r (tercera variable) tiene un verdadero y un falso.
P q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Observación: la proposición p tiene 4V y 4F. Esta proposición determina la extensión vertical que tiene
la tabla, es decir el número de filas (8). La proposición q tiene 2 V y 2 F, hasta completar
la tabla (4/2 =2). Finalmente r tiene 1 V y 1 F, hasta completar la tabla (2/2= 1).

Ejemplo 4. Cuatro variables (p1, p2, p3, p4)
[ (p1 ↖ p2)  (p2 ↙ p4) ]  ~ p3
El número total de filas que tiene la tabla es 2 n y n = 4. Por sustitución, 24 = 16.

p1 tiene 8V y 8F. La tabla tiene 16 filas (8 + 8 = 16).
p2 tiene 4V y 4F (dividiendo 8 para 2), hasta completar la tabla (16 filas).
p3 tiene 2V y 2F (dividiendo 4 para 2), hasta completar la tabla (16 filas).
p4 tiene 1V y 1F (dividiendo 2 para 2), hasta completar la tabla.
Ejemplo 5. Cinco variables (q1, q2, q3, q4, q5)
[ (q1 ↖ q2)  (q3 ↙ q4) ]  ~ q5
El número total de filas que tiene la tabla es 2 n y n = 5. Por sustitución, 25 = 32.

q1 tiene 16V y 16F. La tabla tiene 32 filas.
q2 tiene 8V y 8F.
q3 tiene 4V y 4F
q4 tiene 2V y 2F
q5 tiene 1V y 1F.
EJERCICIOS
1. Determine el número de verdaderos y falsos para cada una de las variables de los siguientes
polinomios booleanos:
1. (p  q) ↖ p 8. (p  q)  q
2. (p ↙ q)  p 9. (p v q)  p
3. (p v q)  q 10. (p  q) ↖~ q
4. (p1  p2)  ~ p2 11. ~ (q1 ↙ q2)  q1
5. [ (q1 ↖ q2)  (q2 ↙ q3) ]  ~ q3 12. [ (p ↖q) v (q ↙ r)] (p  q)
6. (r1 ↖ r2)  ~ r3  (r3 v r1) 13. ~ [ (p  q)  (p  q) ]  (p  r)
7. [ (p  q) r ]  ( r  ~ q) 14. (p  ~ q) v (q v r) v (p  q)
2.4.2.2. TABLAS DE VERDAD
Se llama tabla de verdad al conjunto de filas y columnas, que contiene: variables, operadores y valores
de verdad, de un polinomio booleano. Para construir tablas de verdad se sugiere el siguiente
procedimiento:
1. Contar el número de variables lógicas del polinomio, considerando solo una vez aquellas que se
repiten.
2. Escribir las combinaciones lógicas tomando en cuenta el número de variables, en las primeras
columnas de izquierda a derecha, según corresponda a: 1, 2, 3, … , n.
3. Escribir a continuación, de las variables lógicas, el polinomio booleano (fórmula), de tal manera
que cada variable y operador lógico, encabece o inicie una columna, en su orden.
4. Escribir los valores V o F, debajo de cada variable, según corresponda.
5. Resolver la negación, si ésta afecta a una proposición simple.
6. Resolver los signos de agrupación, de dentro hacia fuera, aplicando las propiedades
fundamentales de los operadores lógicos.
7. Si la negación se antepone a un signo de agrupación, ésta debe resolverse primero.

Ejemplo 1: Construir la tabla de verdad de (p v p)  p
1. Contar el número de variables lógicas del

polinomio, considerando solo una vez aquellas 1 variable, p.
que se repiten.
2. Escribir las combinaciones lógicas tomando en p

cuenta el número de variables, en las primeras V
columnas de izquierda a derecha. F
3. Escribir a continuación de las variables lógicas p (p v p)  p

el polinomio booleano (fórmula), de tal manera V
que cada variable y operador lógico, encabece F
o inicie una columna.
4. Escribir los valores V o F, debajo de cada p (p v p)  p

variable, según corresponda. V V V V
F F F F
5. Resolver la negación, si ésta afecta a una

proposición simple.
6. Resolver los signos de agrupación, de dentro p (p v p)  p

hacia fuera, aplicando las propiedades V V V V V V
fundamentales de los operadores lógicos. F F F F V F
7. Si la negación se antepone a un signo de

agrupación, ésta debe resolverse primero.
Ejemplo 2.Construir la tabla de verdad de (p  p)  ~ p
p ( p  p )  ~ p
V V V V F F V
F F F F F V F
1 1 3 1 4 2 1
Observación: La última fila indica el orden de los pasos seguidos en la construcción de la tabla. La
columna 4 es el resultado.
Ejemplo 3. Construir la tabla de verdad de (p v q )  (q  p)
p q ( p v q )  ( q  p )
V V V F V V V V V
V F V V F F F F V
F V F V V F V F F
F F F F F V F F F
1 1 1 2 1 3 1 2 1
Observación: La última fila indica el orden de los pasos seguidos en la construcción de la tabla. La
columna 3 es el resultado.

Ejemplo 4. Construir la tabla de verdad de: [(q  p) (p  r)]  (q  r)
q p r [ ( q  p )  ( p  r ) ]  ( q  r )
V V V V V V V V V V V V V V
V V F V V V F V F F V V F F
V F V V F F F F V V V V V V
V F F V F F F F V F V V F F
F V V F V V V V V V V F V V
F V F F V V F V F F V F V F
F F V F V F V F V V V F V V
F F F F V F V F V F V F V F
Pasos 1 2 1 3 1 2 1 4 1 2 1
Ejemplo 5. Construir la tabla de verdad de: [q (~ p v r)]  ~ [p v (q  ~ r)]
q p r [ q  ( ~ p v R ) ]  ~ [ p v ( q  ~ r ) ]
V V V V V F V V V F F V V V F F V
V V F V F F V F F F F V V V V V F
V F V V V V F V V V V F F V F F V
V F F V V V F V F F F F V V V V F
F V V F V F V V V F F V V F V F V
F V F F V F V F F F F V V F F V F
F F V F V V F V V F F F V F V F V
F F F F V V F V F V V F F F F V F
Pasos 1 4 2 1 3 1 6 5 1 4 1 3 2 1
Ejemplo 6. Construir la tabla de verdad de: (q v r) v ~q.
q r ( Q v r ) v ~ q
V V V V V V F V
V F V V F V F V
F V F V V V V F
F F F F F V V F
1 2 1 4 3 1
EJERCICIOS
1. Construya la tabla de verdad de los siguientes polinomios booleanos:
1. (p  ~ q) ↖~ p 10. (~ p  q) v q
2. ~ (p v q)  ~ p 11. ~ {(p v q)  p}
3. ~ (p v ~ q)  q 12. (p  q) ↖~ q
4. (p1  p2)  ~ p2 13. ~ (q1 ↙ q2)  q1
5. [ (q1 ↖ q2)  ~ (q2 ↙ q3) ]  ~ q3 14. (r1 ↖ r2)  ~ r3  (r3 v r1)
6. [ ~ (p ↖q) v (q ↙ r)] (p  q) 15. ~ [ (p  q)  (p  q) ]  (p  r)
7. [ (p  q) r ]  ( r  ~ q) 16. (p  ~ q) v (q v r) v (p  q)
8. ~ [ p v q  p  q ]  (p v ~ r) 17. ~ [(p v q) ↖ p]  (p ↙ ~ r)
9. (p  q)  (q  p) 18. (p v q)  (q v p)

2.4.2.3. VALOR DE VERDAD DEL POLINOMIO BOOLEANO.
Considerando los valores de verdad, de la columna resultado, un polinomio booleano puede ser:
tautología, antitautología o contingencia.
a. TAUTOLOGÍA.
DEFINICIÓN:
Se llama tautología a las fórmulas cuyos valores de verdad, en la columna resultado, son todos
verdaderos. Una tautología se conoce también con el nombre de verdad lógica.
Ejemplo 1. Determine sí el polinomio: p v ~ p, es una tautología.
p P V ~ p
V V V F V
F F V V F
1 3 2 1
∴ v(p v ~p) = V (tautología)

Se lee: "valor de verdad del polinomio verdadero" o "valor de verdad del polinomio tautología".
Ejemplo 2. Determine si el siguiente polinomio booleano es una tautología: (q v r) v ~q.
q r ( q v r ) v ~ q
V V V V V V F V
V F V V F V F V
F V F V V V V F ∴ v[( q v r) v ~q] = V (tautología)
F F F F F V V F
1 2 1 4 3 1
Ejemplo 3. Mostrar, desarrollando la tabla de verdad, que: ~ (p v p), es una tautología.
p ~ ( P v p )
V V V F V ∴ v[~(p v p)] = V (tautología)
F V F F F
3 1 2 1
Ejemplo 4. Determine si el siguiente polinomio es una tautología: (p ↓q) (~ p ∧ ~q).
p q ( p  Q )  ( ~ p  ~ q )
V V V F V V F V F F V
V F V F F V F V F V F
F V F F V V V F F F V
F F F V F V V F V V F
1 4 1 5 2 1 3 2 1
∴ v [(p  q) (~ p  ~q) ] = V (tautología)

b. ANTITAUTOLOGÍA.
DEFINICIÓN:
Se llama antitautología a las fórmulas cuyos valores de verdad, en la columna resultado, son todos
falsos. Una antitautología se conoce también con el nombre de falsedad lógica o contradicción.
Ejemplo 1: Determine si el siguiente polinomio booleano es una falsedad lógica: q  ~ q
q q  ~ q
V V F F V
F F F V F
1 3 2 1
∴ v(q  ~ q) = F (antitautología)
Ejemplo 2. Determine si el siguiente polinomio booleano es una contradicción: [(p  q) ↓q] (p →q).
p q [ ( p  q )  q ]  ( p  q )
V V V V V F V F V V V ∴ v {[(p q) q] (pq)} = F
V F V F F V F F V F F (antitautología)
F V F F V F V F F V V
F F F V F F F F F V F
1 2 1 3 1 5 1 4 1
Ejemplo 3. Mostrar que la subsección de una proposición consigo misma es una antitautología.
p p ↙ p
V V F V ∴ v (p ↙ p) = F (antitautología)
F F F F
1 2 1
c. CONTINGENCIA.
DEFINICIÓN:
Se llama contingencia a las fórmulas cuyos valores de verdad, en la columna resultado, son
verdaderos y falsos. No es tautología ni antitautología.
Ejemplo 1. Determine si el siguiente polinomio booleano es una contingencia: ~(p ~q) ←

(p v q)
p q ~ ( p  ~ q )  ( p v q )
V V V V F F V V V V V
V F F V V V F F V V F
F V F F V F V F F V V
F F V F F V F V F F F
5 1 4 3 1 6 1 2 1
∴ v{~(p~q)←
(pvq)} = C (contingencia)

Ejemplo 2.Determine si el siguiente polinomio booleano es una contingencia: [(p v q) ∧p] →[(r ∧p)↓r].
p q r [ ( p v q )  p ]  [ ( r  p )  r ]
V V V V V V V V F V V V F V
V V F V V V V V V F F V V F
V F V V V F V V F V V V F V
V F F V V F V V V F F V V F
F V V F V V F F V V F F F V
F V F F V V F F V F F F V F
F F V F F F F F V V F F F V
F F F F F F F F V F F F V F
∴ v[(pvq)p] →[(r ∧p)↓r] = C (contingencia)
Ejemplo 3. Mostrar, desarrollando la tabla de verdad, que la negación conjuntiva de una proposición
consigo misma es una contingencia.
P p  p
V V F V
F F V F
∴ v(p  p) = C (contingencia)
EJERCICIOS
1. Determine si los siguientes polinomios booleanos son tautologías, antitautologías o contingencias:
1. (p  r )  p v (p  r) 19. (p  r)  ~ (p  r)
2. (p  r)  ~ (p v r) 20. (p ↙ r) v (p  r)
3. (p ↙q)  ~ (p  q) 21. (p ↖q)  ~ (p  q)
4. (p  q)  (p  q) 22. (p  q)  ~ (p  q)
5. (r v q)  ~ (r  q) 23. ~ (r  r)
6. ~ (r  r) 24. ~ (r v r)
7. ~ (q ↙q) 25. ~{ ~ (p  p) }
8. ~ (p  q) 26. (p  r) ↖~ r
9. (p  ~ q) ↖~ p 27. (~ p  q) v q
10. ~ (p v q)  ~ p 28. ~ {(p v q)  p}
11. ~ (p v ~ q)  q 29. (p  q) ↖~ q
12. (p1  p2)  ~ p2 30. ~ (q1 ↙ q2)  q1
13. [ (q1 ↖ q2)  ~ (q2 ↙ q3) ]  ~ q3 31. (r1 ↖ r2)  ~ r3  (r3 v r1)
14. [ ~ (p ↖q) v (q ↙ r)] (p  q) 32. ~ [ (p  q)  (p  q) ]  (p  r)
15. [ (p  q) r ]  ( r  ~ q) 33. (p  ~ q) v (q v r) v (p  q)
16. ~ [ p v q  p  q ]  (p v ~ r) 34. ~ [(p v q) ↖ p]  (p ↙ ~ r)
17. (p  q)  (q  p) 35. (p v q)  (q v p)
18. (p  q)  r  p  (q  r) 36. (p  q)  r
2. Construya un mentefacto para los tipos de polinomios considerando el valor de verdad.

(El valor de verdad de un polinomio está determinado por los V y/o F de la columna resultado).

Polinomios Booleanos

Cargado por

Copyright:

Formatos disponibles

Polinomios Booleanos

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Polinomios Booleanos

Cargado por

Copyright:

Formatos disponibles

CAPÍTULO 1

CERRADA, CATEGÓRICA ABIERTA, CONDICIONAL

SIMPLE COMPUESTA SIMPLE COMPUESTA

1.2. PROPOSICIÓN CERRADA SIMPLE (PCS)

Ejemplos: 2 es un número dígito. Oración verdadera

MSc. Paco Bastidas Romo & otros. 1 Proposiciones Categóricas

Ejemplos: ¡Estudie, por Dios! Oración exclamativa

Es capital del Quito Ecuador la No es oración

1.3. REPRESENTACIÓN SIMBÓLICA DE PROPOSICIONES.

p: El cero es el módulo de la suma q: 2/3 es mayor que ¼

1.4. VALOR DE VERDAD DE UNA PROPOSICIÓN.

p: El cero es módulo de la suma. v(p) = V q: 2/3 es mayor que ¼ v(q) = V

p: El cero es módulo de la suma v(p) = 1 q: 2/3 es mayor que ¼ v(q) = 1

1. Represente simbólicamente las siguientes proposiciones y determine su valor de verdad.

1. (11-5) –1 = 2 2. (10 -5)(3 -4)= 5

1.5. PROPOSICIÓN CERRADA COMPUESTA (PCC).

Se llama proposición compuesta a la combinación de dos proposiciones simples mediante un término

2 es un número natural y un número entero

Proposición simple Término lógico Proposición simple

1.6. OPERACIONES CON PROPOSICIONES

MSc. Paco Bastidas Romo & otros. 3 Proposiciones Categóricas

COMPUESTA Disyunción (e)

OPERACIÓN OPERADOR TÉRMINO

MSc. Paco Bastidas Romo & otros. 4 Proposiciones Categóricas

1.7.1. NEGACIÓN (~; no)

Se llama negación de la proposición p, a la proposición que se obtiene colocando el adverbio "no" en la

Ejemplo: q: Quito es una ciudad

p: 7= 4+2 ~ p: 7  4+2 (Siete no es igual a cuatro más dos).

El valor de verdad de la negación cumple con la siguiente propiedad fundamental: Si p es verdadero

Ejemplos: p: 2+2 = 4 v(p) = V ~p: 2+2  4 v(~p) = F

1. (3- 7) – 8 = 2 2. (15 - 5)(8-5)= 40

MSc. Paco Bastidas Romo & otros. 5 Proposiciones Categóricas

Consideremos la siguiente proposición inicial:

1. p: Rolando Vera ganó la "San Silvestre" en 1989. Dato

Valor de verdad de la doble negación: Si la proposición inicial es verdadera, al efectuar la doble

Ejemplo: Sean p y q las siguientes proposiciones simples:

p: Caín es hijo de Adán q: Caín es hijo de Eva

Al coordinar las dos proposiciones con la letra "y" se tiene:

p  q: Caín es hijo de Adán y Eva

Representación simbólica Proposición compuesta conjunción

Por definición una proposición es verdadera o falsa, pero no las P

Por definición, la proposición p tiene un valor V y un F. Por la misma

Luego, procedemos a unir con una flecha, cada elemento del F F

La propiedad fundamental, anotada anteriormente, se resume en la siguiente tabla de verdad.

1. Sean p: 2 es un número natural par y q: 2 es un número natural primo. Escribir la conjunción de p y

2. Sean p1 y p2 dos proposiciones simples. Construir la tabla de verdad correspondiente a la negación de

3. Hallar el v(p) si se conoce que: el v(p  q) = F y el v(q) = V.

El v(pq) = F y el v(q) = V, se presenta en la 3a fila, por lo tanto el v(p) = F.

MSc. Paco Bastidas Romo & otros. 8 Proposiciones Categóricas

5. Hallar el valor de verdad de la negación de la siguiente proposición compuesta:

6. Construir la tabla de verdad correspondiente a la conjunción de una proposición consigo misma.

1. Determine el valor de verdad de las siguientes proposiciones compuestas.

2. Hallar el valor de verdad de la negación de las siguientes proposiciones compuestas

3. Determine el valor de verdad de las siguientes proposiciones.

Ejemplo: Sean p y q las siguientes proposiciones simples:

p: Quito es la capital del Ecuador. q: Quito es la capital de Francia.

p ↖q: Quito es la capital del Ecuador pero no de Francia

R. simbólica Proposición compuesta contrasección

La misma que se resume en la siguiente tabla de verdad.

MSc. Paco Bastidas Romo & otros. 10 Proposiciones Categóricas