AndXor MinValue BCDEx3 ToOrAnd ToTruthTable Diagram DiagramGateName Load logicvardef Minus RadixFromIndex Or Realization To2LayerNor To2LayerAndXor Solve Save ShortestInputsForDistinguishTwoStates AutoAssignInputAndStateVariables CreateCompactTableWithFullSimplification To2layerOrAnd Compatibility FullTable Full string() AdjustLogicVariableCount ShannonExpansion Substitute var() Zero