One
Back to table
/*
Logic-Function-Analysis
One
[AndOr g]=One();
g : a logic function
Create a logic function with the value ONE.
Except the definition of the truth-table, we define the value of ONE and TRUE very distinguishedly.
*/
//-------------------------------------------------------------------
// examples
f=One();
Print(f);
//-------------------------------------------------------------------
// result
Advanced IsEqual IsMonotonicFunction IsNegativeUnateFunctionTo IsPositiveFunction AndOr ToAndOr binaryioset() bool ToDualFunction ToVariableInvertedFunction ToXORP logicvardef() long() RadixToIndex Or POS SAT AutoAssignInputAndStateVariables OutputAndStateBasedly GetExcitationTable ROBDD Canonical TruthTable GetDontCareLogicFunction GetPositiveLogicFunction Utility ShannonExpansion var() Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.