Analysis IsCovering And Binary bool Equiv logicvardef Nand MostSignificantDigit RadixToIndex OrAnd PermutationMatrix To2LayerNor To2LayerOrAnd To2LayerAndXor Solve Assign StateVariables ToStateTransitionTable CreateCompactTableWithFullSimplification To2layerOrAnd BestVariableOrder Shannon StateDeviceName CreateFromLogicFunctions GetSubTable Utility IndependentBase Normalization Zero