Affiliation:
1. School of Mathematics, Shandong University, Jinan 250100, China
2. College of Science and Engineering, University of Minnesota Twin Cities, Minneapolis 55455, USA
Abstract
<abstract><p>The simplification problem of logical functions is investigated via the matrix method. First, necessary and sufficient conditions are put forward for the decomposition of logical matrices. Based on this, several criteria are proposed for the simplification of logical functions. Furthermore, an algorithm, which can derive simpler logical forms, is developed, and illustrative examples are given to verify the effectiveness. Finally, the obtained theoretical results are applied to the simplification of electric circuits.</p></abstract>
Publisher
American Institute of Mathematical Sciences (AIMS)