Calculadora de equivalencias lógicas
Comprueba fácilmente si dos proposiciones compuestas son lógicamente equivalentes. Solo tienes que escribirlas en los siguientes campos y la herramienta comprobará la equivalencia.
Instrucciones de uso
Puedes usar tanto tu teclado como el teclado virtual para escribir las expresiones lógicas. Una vez las tengas, presiona en "Comprobar equivalencia" o la tecla "enter". La herramienta te dirá si las fórmulas son o no equivalentes y te mostrará la tabla de verdad, donde podrás comprobar las coincidencias por cada fila.
Variables proposicionales
Son válidas las siguientes opciones:
- Letras minúsculas: a, b, c, d, p, q, r… (excepto 'v', 'y', 'o' 'f').
- Letras mayúsculas: A, B, C… P, Q, R… (excepto 'V', 'F', 'T').
Conectivos lógicos
Los conectivos lógicos poseen un símbolo estándar y otros atajos aceptados, puedes comprobarlos en la siguiente tabla.
| Operador | Símbolo estándar | Atajos permitidos |
|---|---|---|
| Negación | ¬ | ~, !, not, NO, no |
| Conjunción | ∧ | &, ^, and, AND, y |
| Disyunción | ∨ | v, or, OR, o |
| Disyunción Exclusiva | ⊻ | xor, ⊕ |
| Implicación | → | ->, =>, ⇒, imp, IMP |
| Bicondicional | ↔ | <->, <=>, ==, iff, IFF, ⇔, sii |
Signos de agrupación
Puedes usar paréntesis ( ), corchetes [ ] y llaves { } para agrupar proposiciones. Si no usas ninguno, internamente se maneja la siguiente jerarquía:
- Negación (¬).
- Conjunción (∧).
- Disyunción inclusiva (∨) y disyunción exclusiva (⊻).
- Condicional (→).
- Bicondicional (↔).
Constantes
- Tautología (verdadero): T, V, ⊤, 1
- Contradicción (Falso): F, ⊥, 0
¡Suscríbete a Flamath!
Recibe contenido exclusivo y sé el primero en enterarte de nuestras novedades.
Deja una respuesta