1 Introduction
Logic formulas in binary logic are important when designing systems based on this type of logic (e.g. digital circuits). Since truth values are “0” (false) and “1” (true), there are practical methods to obtain, manipulate and optimize logic formulas by using truth tables, e.g., Karnaugh maps and QuineMcCluskey method. It is known [3] that a logic formula represents one logic