Lógica Matemática
Instrucciones de Uso
- Usa letras mayúsculas
(A, B, C, etc.)para representar variables , seguidas de un numero(A1, B2, C3, etc.). - Los operadores válidos en este momento son:
- && (AND)
- || (OR)
- ! (NOT)
- Ejemplo de entrada válida: A1 && (B2 OR C3)
Información de Operadores
La aplicación permite el uso de ciertos operadores lógicos para generar tablas de verdad. Aquí están los detalles:
| Operador | Sintaxis | Descripción | Compatibilidad |
|---|---|---|---|
| Negación (NOT / !) | NOT(A1), !A1 | Invierte el valor de verdad de una variable. Si A1 es verdadero, NOT(A1) es falso. | ✔ |
| Conjunción (AND / &&) | A1 AND B2, A1 && B2 | Evalúa como verdadero solo si ambas variables son verdaderas. | ✔ |
| Disyunción (OR / ||) | A1 OR B2, A1 || B2 | Evalúa como verdadero si al menos una de las variables es verdadera. | ✔ |
| Disyunción Exclusiva (XOR) | A1 != B2 | Evalúa como verdadero si solo una de las dos variables es verdadera, pero no ambas. Puede ser simulado en JavaScript como A1 != B2. | ✔ |
| Condicional (IMPLIES) | !A1 || B2 | Evalúa como verdadero si A es falso o si B es verdadero (puede representarse como !A1 || B2). | ✔ |
| Bicondicional (IFF / EQUIV) | A1 === B2 | Evalúa como verdadero si ambas variables tienen el mismo valor de verdad. Puede representarse como A1 === B2. | ✔ |
| NAND | A NAND B | Evalúa como verdadero si no ambas variables son verdaderas. Requiere configuración adicional (!A1 || !B2) para emularlo en JavaScript. | ❌ |
| NOR | A NOR B | Evalúa como verdadero si ninguna de las variables es verdadera. Puede ser emulado con !A1 && !B2 en JavaScript, pero requiere configuración adicional. | ❌ |
| Cuantificadores (∀, ∃) | ∀, ∃ | No son compatibles ya que requieren lógica de primer orden y evaluación de predicados en contexto. | ❌ |