Solution of a class of Boolean equations

Abstract

New methods of solving a frequently encountered class of two-valued Boolean equations are presented. These methods are more direct and simpler to apply than existing techniques. Karnaugh maps employing the paradigm that distinguishes between "don't-care" and "can't-happen" conditions are used to present the methods. The techniques can easily be computerized.