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