A solution for combinational and asynchronous sequential logic problems by means of logic variable

The first part of a new logic mathematical tool known as Logic Variable is presented in this paper. This work is applicable to the synthesis of combinational and asynchronous sequential cases, relies on four new logic operators, three temporal and one atemporal, these operators emulate a part of our temporal logic. By means of the new logic operators and their properties, several theorems capable of solving the combinational and asynchronous sequential problems are obtained. By this fact, this work is not an extension of Boolean Algebra, Boolean Algebra comes to be a particular case of Logic Variable.