No sé si estoy haciendo esto mal, pero Viernes lógico está minimizado La forma para estas dos ecuaciones es una. Lo intenté con un K-map y no está.
F = ABC + ABD + ACD + B'C'D + ACD '+ A'B'D
(mi resultado es AD + B'D + AC)
G = BC + A'B'C '+ BC' + A'C
Wolfram Alpha parece dar la respuesta correcta. Utilicé su a> ya que por alguna razón no reconoció la misma fórmula ingresada en su página principal como una expresión de álgebra booleana.
Entré:
(A y B y C) o (A y B y D) o (A y C y D) o (no B y no C y D) o (A y C y no D) o (no A y no B y D)
y devolvió:
Es interesante que te pidan que ingreses ecuaciones usando AND, OR, NOT, XOR, NAND, NOR, etc., pero los resultados se muestran como se muestra arriba. De todos modos, el primer resultado (DNF, que significa forma normal disyuntiva) coincide con su resultado.
Logic Friday no tiene nada de malo, pero la sintaxis es complicada. Intenta
F = A B C + A B D + A C D + B 'C' D + A C D '+ A' B 'D;
(con espacios entre operandos) y recibirás
F = A C + A D + B 'D;
como minimización. Lo mismo para G.
Lea otras preguntas en las etiquetas boolean-algebra