Pontifícia Universidade Católica do

Paraná

Engenharia Mecatrônica Lógica

Estruturas Discretas

Agnelo Denis Vieira

versão 2011 1 2

Referências:
Proposição / declaração / variável Booleana
GERSTING, J.L.; 2003. Fundamentos Matemáticos para ciência da computação. LTC
Editora.
5ª ed. seção 1.1 - Proposições, Representações Simbólicas e Tautologias - proposição: sentença declarativa afirmativa com um
3ª ed. seção 1.1 - Sentenças, Representações Simbólicas e Tautologias
siginificado específico (não pode ser vaga ou
LIPSCHUTZ, S.; LIPSON, M.; 2004. Teoria e Problemas de Matemática Discreta.
Bookman. ambígua)
2ª ed. seção 4.1 - Introdução; 4.2 - Proposições e proposições compostas; 4.3 -
Operações lógicas; 4.4 - Proposições e Tabelas-verdade; 4.5 Tautologias e
- variável Booleana: variável que pode assumir apenas
Contradições; 4.6 - Equivalências lógicas; dois valores possíveis 0 ou 1
4.7 - Álgebra das proposições; 4.8 - Declarações condicionais e bicondicionais
ROSEN, K.H.; 1999. Discrete mathematics and its applications. Boston:
- apresenta um valor lógico (valor-verdade) verdadeiro
WCB/McGraw-Hill. ou falso
1.1 - Logic; 1.2 - Propositional equivalences
ALENCAR FILHO, E..; 1999. Iniciação à lógica matemática. Ed. Nobel
- o valor lógico não pode ser simultaneamente
cap. 1 à cap. 7 verdadeiro e falso ou “estar entre os dois”
TOCCI, R.J.; WIDMER, N.S.; MOSS, G.L.; 2007. Sistemas digitais: Princípios e - usualmente representada por uma letra minúscula:
aplicações. Pearson Prentice Hall, 2007.
cap. 3 – Descrevendo circuitos lógicos p, q, ..., ou maiúscula A, B, C, ...

3 4

Proposição / declaração / variável Booleana são proposições não são proposições

1+2=3 1+2
- valor-verdade ou valor-lógico (convenção adotada): 2+2=7
VERDADEIRO V T 1 alto Paris fica na França Qual sua cor favorita?
FALSO F F 0 baixo Curitiba é a capital da Estude com afinco.
Bahia
(qualquer outra notação adotada neste curso estará x +1 = 3 quando x =1 x+1=3
incorreta)

5 6

1
 - Proposição simples: p, q, r, … exercício)
Sejam:
proposição que não contém nenhuma outra proposição
como parte integrante de si mesma, não pode ser p = Paris fica na França
decomposta em proposições mais simples
q = Londres fica em Portugal

(proposição primitiva, proposição atômica, elemento

atômico) Determine o valor lógico de p e q.

p = Paris fica na França Determine V(p) e V(q)

q = Londres fica em Portugal
Determine a interpretação de p

7 8

Operador apelido símbolo

- Proposições compostas:
Negação NOT / NÃO Unário
¬‘~⎯
proposições construídas através de proposições
simples e conectivos lógicos (operadores lógicos) Conjunção AND / E Binário
∧.&

P, Q, R, A, B, C
Disjunção OR / OU Binário
∨+
OU-exclusivo XOR / Ou-exc. Binário
⊕

(fórmulas proposicionais) Implicação Implies / Binário

→
Implica

Bicondicional Iff / sse Binário ↔

p = Paris fica na França Negação da conjunção NAND / NãoE Binário

|↑

q = Londres fica em Portugal

Negação da disjunção NOR / NãoOU Binário ↓

R(p, q) = p ∧ q = (Paris fica na França) e (Londres fica Equiv. lógica equivalente Binário
≡⇔

em Portugal)
portanto ∴ |⎯
9 10

- O valor lógico de uma proposição composta é exercício)

determinado com base no valor lógico das proposições
primitivas, bem como, na definição do conectivo lógico Sejam:
empregado
p = Paris fica na França
q = Londres fica em Portugal
R = Paris fica na França e Londres fica em Portugal

Para os valores de p e q acima, determine a

interpretação de (p ∧ q)
Determine o valor lógico de (p ∧ q)
Determine V(p ∧ q)
Determine V(R)

11 12

2
exercício)
1) Se A é verdadeira e B é falsa, que valor você atribui a
A ∧ B;
2) Determine P(V,F) para P(A,B): A ∧ B
13
Regras para construção da tabela-verdade de uma
proposição composta com n proposições primitivas:
(esta regra deverá ser obedecida na prova;
em caso contrário a questão correspondente
será anulada)
- a tabela deve ter uma coluna para cada proposição
primitiva seguida de quantas colunas forem
necessárias para avaliar o valor lógico da proposição
composta de interesse;
- o número de linhas da tabela verdade é (2n + 1);
- a primeira linha é utilizada para identificar as
proposições primitivas e as proposições compostas
avaliadas;
15
Regras para construção da tabela-verdade de uma
proposição composta com n proposições primitivas:
(continuação)
- este padrão de construção prossegue até que na
coluna associada à última proposição primitiva os
valores VERDADEIRO e FALSO se alternam a cada
linha, sendo que a primeira linha recebe o valor
VERDADEIRO;
17
Tabela-verdade
A tabela-verdade mostra a relação entre o valor lógico
de proposições.
Tabelas-verdade são especialmente úteis na
determinação do valor lógico de proposições
compostas.
14
Regras para construção da tabela-verdade de uma
proposição composta com n proposições primitivas:
(continuação)
- a coluna associada à primeira proposição recebe nas
primeiras ((2n)/2) linhas o valor VERDADEIRO e nas
últimas ((2n)/2) linhas o valor FALSO;
- a coluna associada à segunda proposição recebe nas
primeiras ((2n)/4) linhas o valor VERDADEIRO,
seguido de ((2n)/4) linhas com o valor FALSO,
seguido de ((2n)/4) linhas com o valor VERDADEIRO
e finalmente ((2n)/4) linhas com o valor FALSO;
- as primeiras ((2n)/8) linhas da coluna associada à
terceira proposição recebe o valor VERDADEIRO,
seguida de ((2n)/8) linhas com o valor FALSO, este
padrão se repete outras três vezes nesta coluna; 16
exercício)
Construa a tabela-verdade (apenas as colunas
referentes às proposições primitivas). As colunas
devem estar ordenadas em forma alfabética
crescente.
- para 1 proposição primitiva (p);
- para 2 proposições primitivas (p, q);
- para 3 proposições primitivas (p, q, r);
- para 4 proposições primitivas (p, q, r, s);
- para 5 proposições primitivas (p, q, r, s, t);
18
3
 proposição negação da proposição
Negação de uma proposição ( NÃO )
1+2=3 1+2≠3
seja p uma proposição
2+2=7 2+2≠7
2>3 2≤3
a negação da proposição p é uma proposição
Paris fica na França Paris não fica na França
É falso que Paris fica na
leitura usual: p ¬p A

França
não ocorre que p T F
é falso que p F T Curitiba não é a capital da
Curitiba é a capital da
não p Bahia Bahia

símbolos usuais
¬p,~p, p', p
19 20

exercício)
Negação de uma proposição ( NÃO )
Para cada caso determine a interpretação da
proposição
Inversor
proposição negação da proposição simbologia tradicional e IEEE/ANSI 91-1984

1+2=3 1+2≠3
2+2=7 A
2+2≠7
2>3 2≤3
Paris fica na França Paris não fica na França
É falso que Paris fica na
França
Curitiba é a capital da Curitiba não é a capital da
Bahia Bahia
21 22

Conjunção ( E )
Conjunção (E)

sejam p e q duas proposições

AND
p ∧ q é verdadeira quando p e q são ambas
verdadeiras, é falso em caso contrário simbologia tradicional e IEEE/ANSI 91-1984

p = Paris fica na França p q p∧q

q = Londres fica em Portugal
T T T
p ∧ q = (Paris fica na França) T F F
F T F
e (Londres fica em Portugal)
F F F

símbolos usuais
p ∧ q ; p . q; p & q
23 24

4
Disjunção (disjunção inclusiva) ( OU )
Disjunção (OU)
sejam p e q duas proposições
p ∨ q é falsa quando p e q são ambas falsas, é
verdadeira em caso contrário OR
simbologia tradicional e IEEE/ANSI 91-1984
p ∨ q é verdadeira quando p ou q
ou ambos são verdadeiras p q p∨q

p = Paris fica na França T T T

q = Londres fica em Portugal T F T
p ∨ q = (Paris fica na França) F T T
F F F
ou (Londres fica em Portugal)
símbolos usuais:
p∨q;p+q
25 26

Disjunção exclusiva ( ou-exclusivo ) ( ⊕ ∨ ) Disjunção exclusiva ( ou-exclusivo )

sejam p e q duas proposições sejam p e q duas proposições

p ⊕ q é verdadeira quando exatamente uma das p = Paris fica na França

proposições é verdadeira, é falsa em caso q = Londres fica em Portugal
contrário p q p⊕q

p q p⊕q p ⊕ q = ( (Paris fica na França) e

T T F
p ⊕ q é verdadeira quando p ou q (Londres não fica em Portugal) ) T F T
T T F ou
forem verdadeiras, mas não ambos F T T
T F T
( (Paris não fica na França) e F F F
F T T
F F F (Londres fica em Portugal) )

símbolos usuais:
27 p⊕q;p∨q 28

Ou-exclusivo Implicação (Condicional)

P : Carlos é médico ou professor sejam p e q duas proposições

Q : Carlos pode ser apenas médico ou apenas p → q é falsa quando p é verdadeira e q é falsa, é
professor ou ser tanto médico quanto professor verdadeira em caso contrário
p q p→q
R : Ou Carlos é médico e não é professor ou
Carlos é professor e não é médico p – hipótese, antecedente, premissa
q - conclusão, consequente, conclusão T T T
na forma textual simplificada em P não fica T F F
explícita a aplicação do operador ⊕ ∨ Leitura mais usual da proposição
F T T
F F T
S : Carlos é gaucho ou carioca Se p então q
T : Carlos está feliz ou está triste
símbolos usuais
nestes casos o uso do operador ⊕ está explícito p→q;p ⊃q
29 30

5
Implicação (Condicional) Implicação (Condicional)

O conectivo implicação é independente de relação Sejam:

causa-efeito. p : “ 2 + 2 = 4”
q : “a Terra é um queijo”
Um condicional não afirma que o consequente se p→q
deduz ou é consequência do antecedente.
Se “ 2 + 2 = 4” então “a Terra é um queijo”.
Um condicional afirma unicamente uma relação
entre valores lógicos do antecedente e do
consequente. O valor lógico da proposição A proposição composta “p → q” é falsa pois
composta é determinado pelo valor lógico das “2+2=4” é verdadeiro e "a Terra é um queijo" é
proposições primitivas. falso.

O fato de "2+2=4" ser verdadeiro não signifa que

a Terra seja um queijo. Significa que a
31 proposição é falsa 32

Implicação (Condicional) Implicação (Condicional)

Sejam: A proposição composta “p → q” pode ser

p : “ 2 + 2 = 5” compreendida como um contrato, que pode ser
q : “a Terra é um queijo” honrado ou não.
p→q

Se “ 2 + 2 = 5” então “a Terra é um queijo”.

A proposição composta “p → q” é verdadeira pois

“2+2=5” é falso. Isto não signifa que a Terra
seja um queijo.

33 34

Se "eu for eleito" então "vou baixar os impostos" Condicional (Implicação)

Formas usuais de leitura para p → q
- Se o político for eleito os eleitores vão esperar que os
impostos sejam reduzidos.
Supondo que o político é honesto então a redução de 1- se p então q;
impostos é garantida. 2- se p, q
3- q se p
Se não houver redução dos impostos os eleitores podem 4- p implica q
concluir que o político é um mentiroso. 5- p somente se q;
Se houver redução dos impostos o político cumpriu a 6- p apenas se q
promessa 7- q segue de p
8- p é condição suficiente para q;
- Se o político não for eleito, não há garantia de redução de 9- q se p
impostos e os eleitores nada podem afirmar sobre a
honra do político 10- q é condição necessário para p
11- q sempre que p
12- q a menos que não p
13- q é necessário para p
35 36

6
exercício) exercício)
Sejam: Indique o antecedente e o conseqüente em cada uma das
p – o dia está ensolarado seguintes sentenças. (Dica: reescreva as frases na
q – João vai à piscina forma se-então.)

Escreva de forma textual (nas 13 formas usuais) a
proposição composta p → q
a. Se a chuva continuar, o rio vai transbordar.
b. Uma condição suficiente para a falha de uma rede é
que a chave geral pare de funcionar.
c. Os abacates só estão maduros quando estão escuros e
macios.
d. Uma boa dieta é uma condição necessária para um
gato saudável.

37 38

Bicondicional (bi-implicação) exercício)

contrua a tabela verdade para ( p → q ) ∧ ( q → p )
sejam p e q duas proposições e compare o resultado com p ↔ q
p ↔ q é verdadeira quando p e q apresentam o
mesmo valor-verdade
p q p↔q
formas usuais de leitura para p ↔ q
p se e somente se q
T T T
p é necessária e suficiente para q
T F F
p sse q
F T F
F F T

39 40

NAND (não E) exercício)

sejam p e q duas proposições Obtenha a tabela verdade dos operadores NAND
p ↑ q é FALSO quando p e q são simultaneamente e NOR
VERDADEIROS, é VERDADEIRO em caso
contrário
(| ou ↑ - Sheffer stroke)

NOR (não OU)

sejam p e q duas proposições
p ↓ q é VERDADEIRO quando p e q são
simultaneamente FALSOS, é FALSO em caso
contrário
(↓ - Peirce arrow)

41 42

7
Tautologia - proposição composta que é sempre exercício)
verdadeira, independente do valor lógico de Sejam:
cada proposição primitiva (logicamente p ∨ ¬ ( p ∧ q)
verdadeira)
Contradição - proposição composta que é sempre
falsa, independente do valor lógico de cada ( p ∧ q) ∧ ¬ ( p ∨ q)
proposição primitiva (logicamente falsa,
contraválida) ( p ∨ q) → ( p ∧ q)
Contingência - proposição composta que pode
assumir valor-verdade verdadeiro ou falso Com o auxílio da tabela-verdade classifique as
(indeterminada) proposições anteriores.
p ¬p p ∨ ¬p p ∧ ¬p

T F T F

F T T F
43 44

Equivalência lógica Equivalência lógica

Duas proposições compostas que são sejam p e q duas proposições

as proposições p e q são logicamente equivalentes
sintaticamente diferentes (i.e., escritas de (p ⇔ q) quando p ↔ q é uma tautologia
forma distinta)
obs:
mas que são os símbolos ↔ e ⇔ são distintos:
↔ representa o conectivo lógico bicondicional
semanticamente idênticas (i.e., apresentam o ⇔; ≡ representa a equivalência lógica
mesmo significado)

são ditas logicamente equivalentes

45 46

exercício) Implicação
Determine se a equivalência das proposições é
verdadeira Sejam p e q duas proposições

1) ¬ (p ∨ q) ⇔ ¬ p ∧ ¬ q a proposição q → p é denominada recíproca,

2) ¬ (p ∧ q) ⇔ ¬ p ∨ ¬ q
3) p → q ⇔ ¬ p ∨ q
4) p ↑ q ⇔ ¬ p ∨ ¬ q ⇔ ¬ ( p ∧ q)
5) p ↓ q ⇔ ¬ p ∧ ¬ q ⇔ ¬ ( p ∨ q)
oposta ou conversa da proposição p → q
a proposição ¬ p → ¬ q é denominada inversa da
proposição p → q
a proposição ¬ q → ¬ p é denominada
contrapositiva da proposição p → q

47 48

8
exercício) Precedência dos operadores e uso de parênteses

1) Determine se a recíproca ou a inversa ou a um proposição composta pode ser escrita

contrapositiva são logicamente equivalentes à
proposição p → q.
2) Seja a proposição:
"O time da casa ganha sempre que está chovendo"
Reescreve a proposição na forma p → q
Determine a recípropoca, a inversa e a
contrapositiva da proposição
Com base no exercício (1) determine quais
proposições são equivalentes
empregando parênteses
Neste curso é adotada a seguinte convenção:
ordem de precedência usual (da maior para a
menor) dos operadores lógicos
¬∧∨→↔
a proposição é avaliada da esquerda para a direita

49 50

Precedência dos operadores e uso de parênteses exercício)

¬ p ∧ q ⇔ (¬ p) ∧ q ⇔ ¬ (p ∧ q ) Verifique a veracidade ou falsidade das

equivalências anteriores
p ∨ q → r ⇔ (p ∨ q) → r ⇔ p ∨ (q → r)

p → q ∨ r ⇔ p → (q ∨ r ) ⇔ (p → q) ∨ r

p → q ↔ r ⇔ (p → q) ↔ r ⇔ p → (q ↔ r)

p ↔ q → r ⇔ p ↔ (q → r) ⇔ (p ↔ q) → r

51 52

Precedência dos operadores e uso de parênteses Precedência dos operadores e uso de parênteses
ordem de precedência (da maior para a menor) dos
operadores lógicos p∧q∨r
¬∧∨→↔ pode ser interpretado por
ATENÇÃO: (p ∧ q) ∨ r ou p ∧ (q ∨ r)
HÁ AMBIGUIDADE NA SEMÂNTICA
- alguns autores atribuem o mesmo grau de porém (p ∧ q) ∨ r ⇔ p ∧ (q ∨ r)
precedência aos operadores ∧ ∨
- outros autores atribuem precedência do p∨q∧r
operador ∧ sobre o operador ∨
pode ser interpretado por
- alguns autores avaliam uma expressão lógica da
esquerda para a direita (p ∨ q) ∧ r ou p ∨ (q ∧ r)
- outros autores avaliam uma expressão lógica da
direita para a esquerda porém (p ∨ q) ∧ r ⇔ p ∨ (q ∧ r)
53 54

9
Precedência dos operadores e uso de parênteses exercício)
Verifique a veracidade da equivalência lógica das
De modo geral os autores adotam a seguinte proposições anteriores
interpretação

p→q→r⇔p→(q→r) Verifique a veracidade da equivalência lógica

abaixo
p→q→r→s⇔p→(q→(r→s))
(((p → q) → r) → s) ⇔ (p → ( q → ( r → s ) ))
porém observe que:

p → ( q → r ) ⇔ (p → q) → r

55 56

Equivalências lógicas Equivalências lógicas

Leis de identidade
Leis de associatividade
p∨F⇔p p∧V⇔p
Leis de dominação (p ∨ q) ∨ r ⇔ p ∨ (q ∨ r) ( p ∧ q) ∧ r ⇔ p ∧ (q ∧ r)

p∨V⇔V p∧F⇔F
Leis de comutatividade
Leis dos complentares
p∨q⇔q∨p p∧q⇔q∧p
p∨¬p ⇔V p∧¬p⇔F
¬V⇔F ¬F⇔V
Leis de distributividade
Dupla negação
p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r) p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r)
¬¬p⇔p
Leis de idempotência
p∨p⇔p p∧p⇔p
57 58

Equivalências lógicas exercício)

Leis de DeMorgan
Tautologia e Equivalência lógica são conceitos
distintos.
¬ (p ∨ q) ⇔ ¬ p ∧ ¬ q ¬ (p ∧ q) ⇔ ¬ p ∨ ¬ q
Equivalências lógicas úteis Verifique a veracidade da equivalência lógica
abaixo erifique se (p→q) ∧ (q →r) é logicamente
p→q ⇔¬p∨q
equivalente a (p →r)
p→q ⇔¬q→¬p
p → (q → r ) ⇔ (p ∧ q) → r Prove que (p→q) ∧ (q→r) → (p →r) é uma
p ⊕ q ⇔ (p ∨ q) ∧ ¬ (p ∧ q)
tautologia
p ⊕ q ⇔ (p ∧ ¬ q) ∨ (q ∧ ¬ p)
p ↔q ⇔ (p → q) ∧ (q → p)
p ↔ q ⇔ ¬ (p ⊕ q)

59 60

10
 exercício) n
exercício) 2
Sabendo que há 2 possíveis proposições distintas
relacionando n variáveis
Usando a tabela verdade verificar a validade de
todas as equivalências lógicas apresentadas
anteriormente.
Determine o número de possíveis proposições
relacionando 2, 3, 4 variáveis

61 62

Há 16 proposições não-equivalentes possíveis que podem A forma dual de uma proposição composta envolvendo
ser elaborados com duas proposições primitivas apenas os operadores ∧ , ∨ e ¬ é obtida substituindo
cada ocorrência de:
de ∧ por ∨;
de ∨ por ∧;
de V por F;
de F por V;
A forma dual da proposição p é representada por p*.

Se uma equivalência lógica é verdadeira então sua forma

dual também será.

63 64

exercício) Negação de proposições compostas

Considerando as equivalências lógicas apresentadas A negação de proposições compostas deve ser realizada
anteriormente, verifique se a proposição à direita é a com atenção utilizando adequadamente as
dual da proposição representada à esquerda. equivalências lógicas anteriores

65 66

11
exercício) Traduzindo sentenças em português para a forma de
Negue as proposições abaixo proposições compostas
Atenção: a proposição resultante deve ser desenvolvida
até que o operador de negação esteja aplicado apenas x = "Peter é alto e magro“
às proposições primitivas ¬ (p ∧ q) ⇔ ¬ p ∨ ¬ q
0) ¬¬ p ¬ x = "É falso que Peter seja alto e magro“
1) p ∧ q 2) p ∨ q = "Peter não é alto ou não é magro“
3) p → q 4) p ↔ q ≠ "Peter é baixo e gordo".
5) p ↑ q 6) p ↓ q
7) p ⊕ q 8) p ∨ ¬ ( p ∧ q) y = "O rio é raso ou poluído“
9) ( p ∧ q) ∧ ¬ ( p ∨ q) 10) ( p ∨ q) → ( p ∧ q)
¬ (p ∨ q) ⇔ ¬ p ∧ ¬ q
11) (p ∧ q) → r 12) (p → q) ∧ (q → p)
¬ y = "É falso que o rio seja raso ou poluído“
13) (p → q) ∧ (q → r) → (p → r)
= "O rio nem é raso nem é poluído"
67 = "O rio é profundo e despoluído“ 68

≠ "O rio não é raso ou não é poluído".

exercício) exercício)
Negue cada uma das proposições abaixo o termo de Negue cada uma das proposições abaixo o termo de
negação (não, é falso que, ...) só pode estar aplicado a negação (não, é falso que, ...) só pode estar aplicado a
sentenças simples sentenças simples

Se a chuva continuar, o rio vai transbordar. Julia adora manteiga mas detesta nata
Uma condição suficiente para a falha de uma rede é que Julia detesta manteiga e nata.
a chave geral pare de funcionar. Julia não gosta de manteiga ou nata.
Os abacates só estão maduros quando estão escuros e Julia não gosta de manteiga mas adora nata.
macios. Julia detesta manteiga ou adora nata.
Uma boa dieta é uma condição necessária para um gato
saudável.

69 70

exercício) Portas lógicas

Negue cada uma das proposições abaixo o termo de
negação (não, é falso que, ...) só pode estar aplicado a
sentenças simples

A resposta é 2 ou 3.
Nem 2 nem 3 são a resposta.
A resposta não é 2 ou não é 3.
A resposta não é 2 e não é 3.

Pepinos são verdes e têm sementes.

Pepinos não são verdes e não têm sementes.
Pepinos não são verdes ou não têm sementes.
Pepinos são verdes e não têm sementes.
71 72

12
Portas lógicas
Operadores universais (funcionalmente completos)

Os conjuntos de conectivos a seguir são

completos, isto é, qualquer proposição pode ser
representada empregando apenas os conectivos
pertencentes a um determinado conjunto.

{¬, ∧}
{¬, ∨}
{¬, ∧, ∨}
{↑}
{↓}

73 74

exercício) exercício)
Obtenha a interpretação para cada uma das proposições Considerando o circuito digital e o diagrama de tempo
compostas abaixo determine a saída do circuito

75 76

exercício) exercício)
Considerando o circuito digital e o diagrama de tempo Considerando os circuitos digitais determine a equação
abaixo determine a saída do circuito Booleana e a tabela verdade correspondentes

77 78

13
exercício) exercício)
Considerando o circuito digital e o diagrama de tempo Considerando o circuito digital e o diagrama de tempo
abaixo determine: abaixo determine:
- a equação Booleana correspondente; - a equação Booleana correspondente;
- a tabela verdade correspondente; - a tabela verdade correspondente;
- a saída do circuito; - a saída do circuito;

79 80

exercício)
Considerando as seguintes equivalências lógicas
obtenha o circuito digital correspondente

¬ (p ∨ q) ⇔ ¬ p ∧ ¬ q
¬ (p ∧ q) ⇔ ¬ p ∨ ¬ q
p→q ⇔¬p∨q
p ⊕ q ⇔ (p ∨ q) ∧ ¬ (p ∧ q)
p ⊕ q ⇔ (p ∧ ¬ q) ∨ (q ∧ ¬ p)
p ↔q ⇔ (p → q) ∧ (q → p)
p ↔ q ⇔ ¬ (p ⊕ q)

81

14