Escolar Documentos
Profissional Documentos
Cultura Documentos
●
SUMÁRIO:
I-Conceitos
II-Tabela Verdade
III-Conectivos
IV-Tautologia
V-Contradição
VI-Contingência
VII-Equivalência
VIII-Negação
IX-Propriedades
RACIOCÍNIO LÓGICO
I - CONCEITOS
1-Lógica
2-Proposição
3-Operadores Lógicos
4-Conectivos
5-Tabela Verdade
RACIOCÍNIO LÓGICO
I - CONCEITOS
1- Lógica
I - CONCEITOS
1- Lógica
I - CONCEITOS
1- Lógica
Exemplos:
I-“Maria É bonita”;
II-“3 É maior que 2”;
III- “A luz ESTÁ acesa”;
IV- “18>(10+13)”.
RACIOCÍNIO LÓGICO
I - CONCEITOS
2- Proposição
Resumo:
Proposições Simples Proposições Compostas
Resumo:
Princípios das Proposições Descrição
3- Operadores Lógicos
3- Operadores Lógicos
➔E: Conjunção
➔OU: Disjunção
➔OU...OU: Disjunção Exclusiva
RACIOCÍNIO LÓGICO
I - CONCEITOS
4- Conectivos Lógicos
➔SE...ENTÃO: Condicional
➔SE E SOMENTE SE: Bicondicional
RACIOCÍNIO LÓGICO
I - CONCEITOS
5- Tabela Verdade
5- Tabela Verdade
5- Tabela Verdade
F V
V F
RACIOCÍNIO LÓGICO
II – TABELA VERDADE
Exemplo:
P=(AB)C “(A OU B) E C”
I-Variáveis: A, B e C – 3 variáveis, sendo A o mais
significativo e C o menos significativo;
II-Expressões componentes: (AB) e (AB)C
RACIOCÍNIO LÓGICO
II – TABELA VERDADE
A B C AB P=(AB)C
F F V F F
F F F F F 2N linhas
F V V V V (combinações possíveis)
F
V
V
F
F
V
V
V V
F
(no caso, 8 linhas)
V F F V F
V V V V V
V V F V F
RACIOCÍNIO LÓGICO
II – TABELA VERDADE
A B C AB P=(AB)C
F F V F F
F F F F F
Variáveis
F V V V V
no caso 3
F V F V F
V F V V V
V F F V F
V V V V V
V V F V F
RACIOCÍNIO LÓGICO
II – TABELA VERDADE
A B C AB P=(AB)C
F F F F F
F F V F F
F V F V F
F V V V V
V F F V F
V F V V V
V V F V F
Combinações V V V V V
possíveis para
C
RACIOCÍNIO LÓGICO
II – TABELA VERDADE
A B C AB P=(AB)C
F F F F F
F F V F F
F V F V F
F V V V V
V F F V F
V F V V V
V V F V F
Combinações V V V V V
possíveis para
B
RACIOCÍNIO LÓGICO
II – TABELA VERDADE
A B C AB P=(AB)C
F F F F F
F F V F F
F V F V F
F V V V V
V F F V F
V F V V V
V V F V F
Combinações V V V V V
possíveis para
A
RACIOCÍNIO LÓGICO
II – TABELA VERDADE
A B C AB P=(AB)C
F F V F F Saída
F F F F F (proposição
F V V V V composta)
F V F V F
V F V V V
(proposição
composta)
V F F V F
V V V V V
V V F V F
RACIOCÍNIO LÓGICO
III – CONECTIVOS
1-Conectivo “E”
1-Conectivo “E”
Exemplos:
● AB
● A.B Simbologia empregada
● AB Na eletrônica digital
RACIOCÍNIO LÓGICO
III – CONECTIVOS
1-Conectivo “E”
Exemplos:
2-Conectivo “OU”
Exemplos:
Simbologia empregada
● AB Na eletrônica digital
● A+B
RACIOCÍNIO LÓGICO
III – CONECTIVOS
2-Conectivo “OU”
F V V
V F V
V V V
RACIOCÍNIO LÓGICO
III – CONECTIVOS
2-Conectivo “OU”
Note a dualidade entre X=pq e Z= p˄q
Tabela Verdade Tabela Verdade
É falso p q X=pq p q X=p˄q É
Verdadeiro
quando todas F F F Quando
F F F
forem Todas
Forem
falsas F V V F V F verdadeiras
V F V V F F
V V V V V V
RACIOCÍNIO LÓGICO
III – CONECTIVOS
2-Conectivo “OU”
Exemplos:
3-Conectivo “OU...OU”
Exemplos:
Símbolo empregado em eletrônica digital
AB
AB
RACIOCÍNIO LÓGICO
III – CONECTIVOS
3-Conectivo “OU...OU”
X=p~q ~pq F F F
F V V
V F V
V V F
RACIOCÍNIO LÓGICO
III – CONECTIVOS
3-Conectivo “OU...OU”
Exemplos:
Exemplos:
V =C A , B ∪B
4-Conectivo “SE...ENTÃO”
X=A→B Tabela Verdade
A B X=A→B
X=~AB F F V A B
U
F V V
V F F
V V V
RACIOCÍNIO LÓGICO
X=A⇒ B
V =C A , B ∪B
4-Conectivo “SE...ENTÃO”
Tabela Verdade
X=A→B A B X=A→B
X=~AB F F V A B
U
Prova: F V V
V F F
X=(~A~B)(~AB)(AB);
V V V
X=(~A~B)(~AB)(~AB)(AB);
X=(~AA)B~A(B~B); Propriedade
X=B~A distributiva
RACIOCÍNIO LÓGICO
III – CONECTIVOS
4-Conectivo “SE...ENTÃO”
Exemplos:
●
SE Maria nasceu em Teresina, ENTÃO ela é piauiense (V,
Teresina está no Piauí);
●
SE Maria não nasceu em Teresina, ENTÃO ela é piauiense
(V, quantas cidades há no Piauí?);
RACIOCÍNIO LÓGICO
III – CONECTIVOS
4-Conectivo “SE...ENTÃO”
Exemplos:
●
SE João nasceu em Porto Alegre, ENTÃO João é cearense
(F, Porto Alegre fica no Rio Grande do Sul e não no Ceará);
●
SE João não nasceu em Fortaleza, ENTÃO ele não é
cearense (V, quantas cidades existem fora do Ceará?);
RACIOCÍNIO LÓGICO
III – CONECTIVOS
5-Conectivo “...SE E SOMENTE SE...” (sss)
Exemplos:
●
Paulo é fluminense SSS nasceu no Rio de Janeiro;
●
Ele vive SSS estiver respirando;
●
A autoestima do grupo estará alta SSS a autoestima de cada
indivíduo estiver alta;
RACIOCÍNIO LÓGICO
III – CONECTIVOS
5-Conectivo “SE E SOMENTE SE…” (sss)
3- Símbologia
~A , B, ¬C, !F
usado em programação
usado em eletrônica
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
3- Símbologia
Ex.:
Ex.:
X=A casa está aberta OU a luz está acesa;
~X=A casa está fechada E a luz está apagada;
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.
4.4- Condicional.
X=A→B =~AB
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.
4.4- Condicional.
A B X=A→B ~B ~X=A~B
F F
F V
V F
V V
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.
4.4- Condicional.
A B X=A→B ~B ~X=A~B
F F V
F V V
V F F
V V V
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.
4.4- Condicional.
A B X=A→B ~B ~X=A~B
F F V V
F V V F
V F F V
V V V F
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.
4.4- Condicional.
A B X=A→B ~B ~X=A~B
F F V V F
F V V F F
V F F V V
V V V F F
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.
4.4- Condicional.
Ex.:
X= SE Pedro nasceu nos EUA, ENTÃO é Norte-
Americano (situação ordinária);
~X= Pedro nasceu nos EUA E não é Norte-Americano
(filho de embaixador de outro pais?);
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.
4.5- Bicondicional.
X=A↔B =(~A~B)(AB);
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.
4.5- Bicondicional.
De Morgan
X=A↔B =(~A~B)(AB);
~X=~(A↔B)
=~[(~A~B)(AB)]=~(~A~B)~(AB);
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.
4.5- Bicondicional.
X=A↔B =(~A~B)(AB);
De Morgan
~X=~(A↔B)
=~[(~A~B)(AB)]=~(~A~B)~(AB);
~X=[~(~A)~(~B)][~A~B]
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.
4.5- Bicondicional.
4.5- Bicondicional.
X=A↔B =(~A~B)(AB);
~X=~(A↔B)
=~[(~A~B)(AB)]=~(~A~B)~(AB);
~X=[~(~A)~(~B)][~A~B]=(A~A)(A~B)(~B
A)(~BB) (Elemento neutro);
~X=(A~B)(~AB) = AB (OU exclusivo);
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.
4.5- Bicondicional.
A B X=A↔B ~X=A∨B
F F
F V
V F
V V
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.
4.5- Bicondicional.
A B X=A↔B ~X=AB
F F V
F V F
V F F
V V V
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.
4.5- Bicondicional.
A B X=A↔B ~X=AB
F F V F
F V F V
V F F V
V V V F
RACIOCÍNIO LÓGICO
VIII – NEGAÇÃO
4- Regras de Negação.
4.5- Bicondicional.
Ex.:
2- Tipos de Quantificadores:
2.1- Universais
2.1- Universais
Exemplos:
Vx: P(x) ➔ P(x) é verdadeiro para TODO X;
~Vx: P(x) ➔ NENHUM P(x) é verdadeiro para
qualquer X;
RACIOCÍNIO LÓGICO
IX – QUANTIFICADORES LÓGICOS
2- Tipos de Quantificadores:
2.2- Existenciais
2.3- Exemplos:
V A=B ≡ A→B
a) ∃ A = B ≡ ∃ B = A
A=B A⊂B
RACIOCÍNIO LÓGICO
IX – QUANTIFICADORES LÓGICOS
6- Redundância
A∩B=∅
A≠B
RACIOCÍNIO LÓGICO
IX – QUANTIFICADORES LÓGICOS
7- Falsas Equivalências
A∈B, B∉A
RACIOCÍNIO LÓGICO
IX – QUANTIFICADORES LÓGICOS
7- Falsas Equivalências
b) ∃ A = ~B ≡ ∃ B = ~A (???);
A∉B
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
AXIOMAS a) A=F se A≠V ; A=V se A≠F
c) F ˄ F = F ; V ∨ V = V
d) V ˄ V = V ; F ∨ F = F
e) V ˄ F = F ˄ V = F ; F ∨ V = V ∨ F = V
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
TEOREMAS Propriedade E OU
Identidade V ˄ A = A† F ∨ A = A†
Nulo F ˄ A = F† V ∨ A = V†
Idempotente A˄A=A A∨A=A
Involução ~(~A) = A
Inverso ou A ˄ ~A = F A ∨ ~A = V
complemento
1) Se ~(X∨Y)=~X˄~Y, então:
1) Se ~(X∨Y)=~X˄~Y, então:
2) Se ~(X˄Y)=(~X∨~Y), então:
2) Se ~(X˄Y)=(~X∨~Y), então:
A B C X
2- Álgebra Booleana (Exemplo): F F F F (0)
F F V F (1)
F V F V (2)
X=(~A˄B˄~C)∨(A˄~B˄~C) ∨(A˄~B˄C)∨(A˄B˄C) F V V F (3)
V F F V (4)
V F V V(5)
V V F F (6)
V V V V (7)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
A B C X
2- Álgebra Booleana (Exemplo): F F F F (0)
F F V F (1)
F V F V (2)
X=(~A˄B˄~C)∨(A˄~B˄~C) ∨(A˄~B˄C)∨(A˄B˄C) F V V F (3)
X=(~A˄B˄~C)∨(A˄~B˄~C) ∨(A˄~B˄C)∨(A˄B˄C) V F F V (4)
V F V V(5)
V V F F (6)
V V V V (7)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
A B C X
2- Álgebra Booleana (Exemplo): F F F F (0)
F F V F (1)
F V F V (2)
X=(~A˄B˄~C)∨(A˄~B˄~C) ∨(A˄~B˄C)∨(A˄B˄C) F V V F (3)
X=(~A˄B˄~C)∨(A˄~B˄~C) ∨(A˄~B˄C)∨(A˄B˄C) V F F V (4)
X=[(~A˄B)∨(A˄~B)]˄(~C)∨(A˄C)∨(B∨~B) (distributiva) V F V V(5)
V V F F (6)
V V V V (7)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
A B C X
2- Álgebra Booleana (Exemplo): F F F F (0)
F F V F (1)
F V F V (2)
X=(~A˄B˄~C)∨(A˄~B˄~C) ∨(A˄~B˄C)∨(A˄B˄C) F V V F (3)
X=(~A˄B˄~C)∨(A˄~B˄~C) ∨(A˄~B˄C)∨(A˄B˄C) V F F V (4)
X=[(~A˄B)∨(A˄~B)]˄(~C)∨(A˄C)∨(B∨~B) (distributiva) V F V V(5)
X=(A∨B)˄(~C)∨(A˄C)∨V (inverso ou complemento)
V V F F (6)
V V V V (7)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
A B C X
2- Álgebra Booleana (Exemplo): F F F F (0)
F F V F (1)
F V F V (2)
X=(~A˄B˄~C)∨(A˄~B˄~C) ∨(A˄~B˄C)∨(A˄B˄C) F V V F (3)
X=[(~A˄B)∨(A˄~B)]˄(~C)∨(A˄C)∨(B∨~B) (distributiva) V F F V (4)
X=(A∨B)˄(~C)∨(A˄C)∨V (inverso ou complemento) V F V V(5)
X=(A∨B)˄(~C)∨(A˄C)
V V F F (6)
V V V V (7)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
3- Mapa de Karnaugh
3- Mapa de Karnaugh
~A˄~B ~A˄B A˄B A˄~B
~C˄~D 0 4 12 8
~A˄~B ~A˄B A˄B A˄~B
~C˄D 1 5 13 9
~C 0 2 6 4
C˄D 3 7 15 11
C 1 3 7 5
C˄~D 2 6 14 10
~C˄D 1 5 13 9
C˄D 3 7 15 11
C˄~D 2 6 14 10
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
~C˄D 1 5 13 9
C˄D 3 7 15 11
C˄~D 2 6 14 10
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
~C˄D 1 5 13 9
C˄D 3 7 15 11
C˄~D 2 6 14 10
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
~C˄D 1 5 13 9
C˄D 3 7 15 11
C˄~D 2 6 14 10
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
~C˄D 1 5 13 9
C˄D 3 7 15 11
C˄~D 2 6 14 10
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
~C˄D 1 5 13 9
C˄D 3 7 15 11
C˄~D 2 6 14 10
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
~C˄D 1 5 13 9
C˄D 3 7 15 11
C˄~D 2 6 14 10
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
~C˄D 1 5 13 9
C˄D 3 7 15 11
C˄~D 2 6 14 10
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
~C˄D 1 5 13 9
C˄D 3 7 15 11
C˄~D 2 6 14 10
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
~C˄D 1 5 13 9
C˄D 3 7 15 11
C˄~D 2 6 14 10
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
A B C X
3- Mapa de Karnaugh (Exemplo): F F F F (0)
F F V F (1)
F V F V (2)
~A˄~B ~A˄B A˄B A˄~B F V V F (3)
~C 0 2 6 4 V F F V (4)
C 1 3 7 5 V F V V(5)
V V F F (6)
V V V V (7)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
A B C X
3- Mapa de Karnaugh (Exemplo): F F F F (0)
F F V F (1)
F V F V (2)
~A˄~B ~A˄B A˄B A˄~B F V V F (3)
~C F 0
V 2
F 6
V 4 V F F V (4)
C F 1
F 3
V 7
V 5 V F V V(5)
V V F F (6)
V V V V (7)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
A B C X
3- Mapa de Karnaugh (Exemplo): F F F F (0)
F F V F (1)
F V F V (2)
~A˄~B ~A˄B A˄B A˄~B F V V F (3)
~C F 0
V 2
F 6
V 4 V F F V (4)
C F 1
F 3
V 7
V 5 V F V V(5)
V V F F (6)
V V V V (7)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
A B C X
3- Mapa de Karnaugh (Exemplo): F F F F (0)
A˄(~B)˄(C∨~C) F F V F (1)
F V F V (2)
~A˄~B ~A˄B A˄B A˄~B F V V F (3)
~C F 0
V 2
F 6
V 4 V F F V (4)
C F 1
F 3
V 7
V 5 V F V V(5)
V V F F (6)
V V V V (7)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
A B C X
3- Mapa de Karnaugh (Exemplo): F F F F (0)
A˄(~B)˄(C∨~C) F F V F (1)
F V F V (2)
~A˄~B ~A˄B A˄B A˄~B F V V F (3)
~C F 0
V 2
F 6
V 4 V F F V (4)
C F 1
F 3
V 7
V 5 V F V V(5)
V V F F (6)
A˄(B∨~B)˄C V V V V (7)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
A B C X
3- Mapa de Karnaugh (Exemplo): F F F F (0)
(~A˄B)˄~C
A˄(~B)˄(C∨~C) F F V F (1)
F V F V (2)
~A˄~B ~A˄B A˄B A˄~B F V V F (3)
~C F 0
V 2
F 6
V 4 V F F V (4)
C F 1
F 3
V 7
V 5 V F V V(5)
V V F F (6)
A˄(B∨~B)˄C V V V V (7)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
A B C X
3- Mapa de Karnaugh (Exemplo): F F F F (0)
(~A˄B)˄~C
A˄(~B)˄(C∨~C) F F V F (1)
F V F V (2)
~A˄~B ~A˄B A˄B A˄~B F V V F (3)
~C F 0
V 2
F 6
V 4 V F F V (4)
C F 1
F 3
V 7
V 5 V F V V(5)
V V F F (6)
A˄(B∨~B)˄C A˄(C∨~B)
V V V V (7)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
A B C X
3- Mapa de Karnaugh (Exemplo): F F F F (0)
F F V F (1)
F V F V (2)
~A˄~B ~A˄B A˄B A˄~B F V V F (3)
~C F 0
V 2
F 6
V 4 V F F V (4)
C F 1
F 3
V 7
V 5 V F V V(5)
V V F F (6)
X=(~A˄B˄~C)∨A˄(C∨~B)≡(A∨B)˄(~C)∨(A˄C) V V V V (7)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
C 1 3 7 5
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
C F 1
F 3
V 7
V 5
A˄B˄C
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
C F 1
F 3
V 7
V 5
A˄C
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
X= (A∨B)˄(~C)∨(A˄C)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
X= (A∨B)˄(~C)∨(A˄C) F
F
F
F
V
V
V
V
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
X= (A∨B)˄(~C)∨(A˄C) F F
F F
F V
F V
V F
V F
V V
V V
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
X= (A∨B)˄(~C)∨(A˄C) F F F
F F V
F V F
F V V
V F F
V F V
V V F
V V V
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
X= (A∨B)˄(~C)∨(A˄C) F F F F
F F V F
F V F V
F V V V
V F F V
V F V V
V V F F
V V V F
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
X= (A∨B)˄(~C)∨(A˄C) F F F F V
F F V F F
F V F V V
F V V V F
V F F V V
V F V V F
V V F F V
V V V F F
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
X= (A∨B)˄(~C)∨(A˄C) F F F F V F
F F V F F F
F V F V V V
F V V V F F
V F F V V V
V F V V F F
V V F F V F
V V V F F F
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
X= (A∨B)˄(~C)∨(A˄C) F F F F V F F
F F V F F F F
F V F V V V F
F V V V F F F
V F F V V V F
V F V V F F V
V V F F V F F
V V V F F F V
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
X= (A∨B)˄(~C)∨(A˄C) F F F F V F F F
F F V F F F F F
F V F V V V F V
F V V V F F F F
V F F V V V F V
V F V V F F V V
V V F F V F F F
V V V F F F V V
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
3- Mapa de Karnaugh (Exemplo): X=(~A˄B˄~C)∨A˄(C∨~B)
A B C ~A ~B ~C ~A˄B˄~C C∨~B A˄(C∨~B) ~A˄B˄~C∨A˄(C∨~B)
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
3- Mapa de Karnaugh (Exemplo): X=(~A˄B˄~C)∨A˄(C∨~B)
A B C ~A ~B ~C ~A˄B˄~C C∨~B A˄(C∨~B) ~A˄B˄~C∨A˄(C∨~B)
F
F
F
F
V
V
V
V
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
3- Mapa de Karnaugh (Exemplo): X=(~A˄B˄~C)∨A˄(C∨~B)
A B C ~A ~B ~C ~A˄B˄~C C∨~B A˄(C∨~B) ~A˄B˄~C∨A˄(C∨~B)
F F
F F
F V
F V
V F
V F
V V
V V
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
3- Mapa de Karnaugh (Exemplo): X=(~A˄B˄~C)∨A˄(C∨~B)
A B C ~A ~B ~C ~A˄B˄~C C∨~B A˄(C∨~B) ~A˄B˄~C∨A˄(C∨~B)
F F F
F F V
F V F
F V V
V F F
V F V
V V F
V V V
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
3- Mapa de Karnaugh (Exemplo): X=(~A˄B˄~C)∨A˄(C∨~B)
A B C ~A ~B ~C ~A˄B˄~C C∨~B A˄(C∨~B) ~A˄B˄~C∨A˄(C∨~B)
F F F V
F F V V
F V F V
F V V V
V F F F
V F V F
V V F F
V V V F
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
3- Mapa de Karnaugh (Exemplo): X=(~A˄B˄~C)∨A˄(C∨~B)
A B C ~A ~B ~C ~A˄B˄~C C∨~B A˄(C∨~B) ~A˄B˄~C∨A˄(C∨~B)
F F F V V
F F V V V
F V F V F
F V V V F
V F F F V
V F V F V
V V F F F
V V V F F
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
3- Mapa de Karnaugh (Exemplo): X=(~A˄B˄~C)∨A˄(C∨~B)
A B C ~A ~B ~C ~A˄B˄~C C∨~B A˄(C∨~B) ~A˄B˄~C∨A˄(C∨~B)
F F F V V V
F F V V V F
F V F V F V
F V V V F F
V F F F V V
V F V F V F
V V F F F V
V V V F F F
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
3- Mapa de Karnaugh (Exemplo): X=(~A˄B˄~C)∨A˄(C∨~B)
A B C ~A ~B ~C ~A˄B˄~C C∨~B A˄(C∨~B) ~A˄B˄~C∨A˄(C∨~B)
F F F V V V F
F F V V V F F
F V F V F V V
F V V V F F F
V F F F V V F
V F V F V F F
V V F F F V F
V V V F F F F
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
3- Mapa de Karnaugh (Exemplo): X=(~A˄B˄~C)∨A˄(C∨~B)
A B C ~A ~B ~C ~A˄B˄~C C∨~B A˄(C∨~B) ~A˄B˄~C∨A˄(C∨~B)
F F F V V V F V
F F V V V F F V
F V F V F V V F
F V V V F F F V
V F F F V V F V
V F V F V F F V
V V F F F V F F
V V V F F F F V
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
3- Mapa de Karnaugh (Exemplo): X=(~A˄B˄~C)∨A˄(C∨~B)
A B C ~A ~B ~C ~A˄B˄~C C∨~B A˄(C∨~B) ~A˄B˄~C∨A˄(C∨~B)
F F F V V V F V F
F F V V V F F V F
F V F V F V V F F
F V V V F F F V F
V F F F V V F V V
V F V F V F F V V
V V F F F V F F F
V V V F F F F V V
RACIOCÍNIO LÓGICO
X – PROPRIEDADES
MÉTODOS DE SIMPLIFICAÇÃO DE SENTENÇAS LÓGICAS
3- Mapa de Karnaugh (Exemplo): X=(~A˄B˄~C)∨A˄(C∨~B)
A B C ~A ~B ~C ~A˄B˄~C C∨~B A˄(C∨~B) ~A˄B˄~C∨A˄(C∨~B)
F F F V V V F V F F
F F V V V F F V F F
F V F V F V V F F V
F V V V F F F V F F
V F F F V V F V V V
V F V F V F F V V V
V V F F F V F F F F
V V V F F F F V V V
FIM