A universal logic machine

After a brief review of the history of logic machines, a description is given of the Cube Calculus Machine (CCM2). This machine is based on an architecture in which the data path has been designed to execute operations to cube calculus, an algebraic model popularly used to process and minimize Boolean functions. CCM2 realizes efficiently all cube calculus operations such as sharp and consensus. The positional cube representation used by CCM2 can also represent multivalued-input, binary-output cube calculus (MVCC) operands. CCM2 can also work with generalized MVCC, which was developed as an extension of MVCC. This extension allows the machine to operate on set logic, associative tuples, several multivalued input multivalued output logics, multioutput relations, and symbolic relations.<
>