Abstract
A new method for reducing logical problems of higher complexity based on matrix logic is presented. Sets of propositions related to a set of constraints are transformed into minimum form without iterative simplifications. The savings in design effort and hardware for the eventual circuit are demonstrated in a reference problem.