Mister Exam
Lógica matemática passo a passo
O professor ficará muito surpreso ao ver a sua resposta correta 😉
⌨
- Usar lógica simbólica e álgebra lógica
- Inserir parênteses na expressão considerando a precedência das operações
- Simplificar expressões lógicas
- Gera a tabela-verdade para as fórmulas introduzidas
- Encontrar as formas normais da expressão lógica:
- Forma normal conjuntiva (FNC), inclusive perfeita
- Forma normal disjuntiva (FND), inclusive perfeita
Exemplos de expressões lógicas
- Com aplicação da negação
(A⇒B)⇒¬(B⇒A)
- Soma de expressões lógicas
(A⊕B)∨(A⊕C)
- Com o símbolo "equivalente"
(A⇒B)∨(B⇔C)
- Com o símbolo "implica"
((A⇒B)⇒(A|C))⇒(¬B⇒¬C)
- NOR
(A⇒B)∧(A↓C)
- Com aplicação de conjunção e disjunção
(A∨B)∨C ⇒ (A∨B)∧(A∨C)
- Com aplicação de NAND e NOR
0↓1|a|b|c|1↓0
Símbolos suportados nas expressões lógicas
Aqui estão os símbolos a utilizar ao introduzir uma fórmula lógica na calculadora
- ¬a
- – negação
- a⇒b
- – implicação
- a∧b
- – conjunção
- a∨b
- – disjunção
- a⇔b
- – equivalência
- a⊕b
- – adição módulo 2 ( OU exclusivo)
- a|b
- – NAND (traço de Sheffer)
- a↓b
- – NOR (seta de Peirce)
- a⊙b
- – XNOR gate ( XOR com inversão)
Na calculadora é possível simplificar expressões contendo as seguintes operações: NOT, XOR, AND, OR, NAND, NOR, NOT, XNOR