Logicaid CAD-Ref Man/Users Gde W/Mac Sft

This is an easy-to-use, menu-driven logic design program. It enables users to easily derive logic equations from minterms, truth tables, and state tables. The choice of logic simplification algorithms provides for a fast solution, or for finding all minimum solutions. The program accepts Mealy and Moore state graphs and state tables with up to 255 rows; reduces state tables to a minimum number of rows; and allows logic functions to be inputted in a variety of ways. It also provides tutorial help for Karnaugh maps and derivation of state graphs.