Sr Examen
Lógica matemática paso a paso
⌨
- 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