los estados de la pregunta: (Usando Álgebra Booleana; demuestre que la siguiente ecuación es válida: A'BC'D + (A '+ BC) (A + C'D') + BC'D + A'BC '= ABCD + A'C'D' + ABD + ABCD '+ BC'D
RHS y usando la ley de Morgan A'BC'D + (A '+ BC)' + (A + C'D ')' + BC'D + A'BC ' A'BC'D + A'B'C '+ A'CD + ABC'D + A'BC'D' y a partir de ahí no puedo encontrar una forma de presentarlo en forma LHS ya que ambos son 5 términos, cada uno no está simplificando
Sugerencias:
Trabaje en LHS y RHS por separado, simplificando los paréntesis y llevándolos a un formulario general de SP, es decir, suma de productos. Por ejemplo, ACD + ABCD + B'C.
Para cada producto, intente expandirlo a un minterm , es decir, un producto que contenga todas las variables. El truco habitual es usar la identidad X + X '= 1. Por ejemplo: ACD = A (1) CD = A (B + B ') CD = ABCD + AB'CD.
Tenga en cuenta que para cada aplicación de este truco obtendrá dos productos con una variable más. Repita hasta que obtenga productos con todas las variables (normales o negadas).
Cuando todos los productos de ambos lados coincidan, has terminado.
Nota: este no es un procedimiento optimizado, pero funciona siempre.
Lea otras preguntas en las etiquetas digital-logic boolean-algebra karnaugh-map