Xboole

Abstract

It is easy to solve logic equations or operate with logic functions if the number of logic variables is small. In that case logic functions can be enumerated by compact function tables or Karnaugh-maps, expressions of logic functions can be easily transformed, derivatives of logic functions can be calculated very fast and logic equations can be solved without special efforts. Since the number of values of a logic function depends exponentially on the number of its variables, it is very time-consuming to solve such problems by hand for logic functions that depend on more than six variables. It is obvious to use computer programs that can assist in dealing with larger logic problems.