Advanced IsSelfAntiDualFunction IsUnateFunctionTo IsZeroFunction bool ToNotFunction ToPOS DigitalSystem Count Get LogicScript Minus real() To2LayerOrAnd SAT MaxSAT Backwardly OutputAndStateBasedly CreateCompactTableWithFullSimplification Implementation Compatibility HuffmanMealy Canonical Full string() CreateFromLogicFunctions EnlargeLogicFunction IndependentBase ShrinkLogicFunction Zero