Refactored transition table - created Funcion and Implicant classes