FromBinary List BinaryNumberToString binaryioset() Convert AddXorTerm ToNotFunction ToPOS ToXORP Diagram DigitalSystem ExcitationTable logicvardef minterm Nor MantissaToPositiveNumber Radixes OrAnd POS Save InputVariables CreateCompactTable FastVerificationData Full MultiCover Shannon AdjustLogicVariableCount Substitute Xor Zero