AndOr
Back to table
// Create a AndOr, or SOP (sum of product) logic object.
// Every product terms are separated by the semicolon.
[f]=AndOr(1,2,3)
{
1,2,3;
}
IsBiUnateFunctionTo IsBlankFunction IsInverse IsNegativeUnateFunctionTo IsSelfAntiDualFunction binary() binary bool ToROBDD Equiv Count PositiveDecimalToMantissa PermutationMatrix real MaxSAT Solve ShortestInputsForTransition Assign AutoAssignInputAndStateVariables GetExcitationTable Fast MultiCover StateDeviceName string() CreateFromLogicFunctions GetNegativeLogicFunction Utility IndependentBase XORP Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.