Logic Minimizer es un programa especial para simplificar las expresiones lógicas, denominadas expresiones booleanas y proposicionales. Esta dirigido a aquellos involucrados con el campo de la ingeniería, más precisamente los estudiantes de lógica digital y formal, a académicos, constructores de pequeños dispositivos digitales o cualquiera involucrado con expresiones lógicas.
Características:
Minimice el formuleo booleano y proposicional hasta 8 variables
Convierta el formuleo booleano en notación SOP, POS y decimal
Trabaje con mapas Karnaugh, tablas de verdad y conjuntos de términos
Destaque los términos minimizados en los mapas Karnaugh
Dibuje circuitos lógicos con varios tipos de compuertas lógicas
Optimice las fórmulas booleanas simplificadas con compuertas XOR
Convierta el formuleo proposicional a DNF y CNF
Compruebe la validez de las fórmulas proposicionales
Soporta todos los operadores booleanos y proposicionales
Ingreso de fórmulas amigable: no necesita transformar su fórmula antes de ingresarla.
awLinkMgr 1.0 - Utilice su navegador para dar seguimiento a los vínculos web para usuarios y sitios. awLinkMgr le permite administrar información sobre vínculos a la web. Una suerte de marcador con búsqueda o tarjetero de vínculos web. Vista con opción de búsqueda de sitios, notas. Selecciones desplegables. archivos de ayuda
Time Clock 4.0 - Mantenga registros del tiempo que usted dedica a trabajar en tareas específicas con el Time Clock de Markosoft. Utilice el Time Clock para configurar teclas rápidas para medir el tiempo de ejecución de tareas comunes, configurar diferentes tarifas por hora para cada tarea que usted está realizando e imprimir facturas.
