Sr Examen
Lógica matemática paso a paso
El profesor se sorprenderá mucho al ver tu solución correcta😉
⌨
- Usar la lógica simbólica o el álgebra booleana
- Poner paréntesis en la expresión teniendo en cuenta la prioridad de las operaciones
- Simplificar expresiones booleanas
- Construye tabla de verdad para las fórmulas introducidas
- Encontrar formas normales de la expresión booleana:
- Forma normal conjuntiva (FNC), incluso la completa
- Forma normal disyuntiva (FND), incluso la completa
Ejemplos de expresiones booleanas
- Con aplicación de la negación
(A⇒B)⇒¬(B⇒A)
- Adición de expresiones booleanas
(A⊕B)∨(A⊕C)
- Con el signo de "equivalencia"
(A⇒B)∨(B⇔C)
- Con el signo de "consecuente"
((A⇒B)⇒(A|C))⇒(¬B⇒¬C)
- NO O
(A⇒B)∧(A↓C)
- Con aplicación de la conjunción y la disyunción
(A∨B)∨C ⇒ (A∨B)∧(A∨C)
- Con aplicación de NO Y o NO O
0↓1|a|b|c|1↓0
Símbolos apoyados en expresiones lógicas
Aquí se indican los símbolos que hay que indicar introduciendo la fórmula lógica en la calculadora
- ¬a
- – negación
- a⇒b
- – implicación
- a∧b
- – conjunción
- a∨b
- – disyunción
- a⇔b
- – equivalencia
- a⊕b
- – suma de módulo 2 ( O exclusivo)
- a|b
- – No-y (barra de Sheffer)
- a↓b
- – NO O (flecha de Peirce)
- a⊙b
- – XNOR gate ( O exclusivo con inversión)
En la calculadora puedes simplificar expresiones que contienen las siguientes operaciones: NOT, XOR, AND, OR, NAND, NOR, NOT, XNOR