Advanced IsMonotonicFunction IsOneFunction IsPositiveUnateFunctionTo AndOr ToAndOr MaxValue ToVariableInvertedFunction DiagramGateName list() LogicScript long LeastSignificantDigit Or real To2LayerOrAnd To2LayerAndXor Solve CreateCompactTableWithFullSimplification Simplification ShannonTree ROBDD MultiCover StateDeviceName string GetSubTable IndependentBase Normalization Xor Zero