IsEqual IsInverse IsOneFunction And BDD binary() GrayCode ToShannonTree ToSOP ToXORP FeedbackSystem list() LogicScript PositiveIntegerToMantissa Radixes real To2LayerAndXor OutputAndStateBasedly CreateCompactTableWithFullSimplification GetExcitationTable To2layerOrAnd FullTable ShannonTree Fast GetSubTable RandomGenerate IndependentBase Substitute var() Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.