El documento describe las funciones de un programa llamado BOOLE que puede simplificar expresiones booleanas y diagramas de Veitch-Karnaugh. El programa permite introducir funciones booleanas, obtener tablas de verdad y circuitos lógicos equivalentes, y simplificar diagramas de Veitch-Karnaugh mediante la creación de lazos de simplificación.