¿Estás intentando evaluar expresiones con variables ligadas?
La mayoría de las calculadoras solo usan números, entonces, ¿cómo pueden representar expresiones booleanas?
Ok, aquí hay algo que se me ocurrió. Asumiré que su calculadora puede encontrar el mínimo común múltiplo o el máximo común divisor de dos números.
Comencemos con dos variables, A y B.
- Cómo evaluar [matemáticas] \ int_ {0} ^ {\ pi / 2} \ frac {\ sqrt {\ tan x}} {1+ \ sqrt {\ tan x}} [/ matemáticas]
- ¿Cuál es el significado del símbolo (<-) en R?
- ¿Cuál es la mejor explicación para el punto de intercepción de intermodulación de tercer orden?
- ¿Qué es [math] \ frac {\ mathrm {d} y} {\ mathrm {d} x} [/ math] de [math] y = x ^ {x ^ {x ^ {x ^ {x ^ {x ^ {x ^ {x ^ x}}}}}}} [/ math]?
- Cómo encontrar las integrales indefinidas (5-8x ^ 3 + 3x ^ 6) dx
Representa cada uno de los términos mínimos con diferentes números primos:
AB = 2
AB ‘= 3
A’B = 5
A’B ‘= 7.
Representaremos una suma de términos mínimos como producto de estos valores. Por ejemplo,
AB + A’B ‘= 2 * 7 = 14
En este esquema, los operadores booleanos estándar se pueden traducir a aritméticos:
xy = MCD (x, y)
x + y = LCM (x, y)
x ‘= 210 / x.
Ahora deberías poder demostrar que:
A = 6,
B = 10.
VERDADERO = 210
FALSO = 1.
Usando este esquema, cualquier expresión booleana se puede representar como una numérica, y podemos calcularlas en un solo número.
Por ejemplo, A ‘+ B (A + AB’)
= LCM (210/6, GCF (10, LCM (6, GCF (6,210 / 10))))
= LCM (35, GCF (10, LCM (6, GCF (6,21))))
= LCM (35, GCF (10, LCM (6,3)))
= LCM (35, MCD (10,6))
= LCM (35,2)
= 70
Podrías mantener una tabla de valores conocidos, donde buscas eso
70 = A ‘+ B.
Alternativamente, podemos factorizar el resultado en primos, lo que da la suma de minterms:
70 = 2 * 5 * 7 = AB + A’B + A’B ‘.
La misma técnica se puede usar con más variables. Para cuatro variables, hay 16 minterms para comenzar, así que terminas usando los primos hasta 53, y TRUE ahora es 32589158477190044730. Necesitas una buena calculadora.