Analysis.IsLinearFunction
Back to table
/*
Logic-Function-Analysis
Analysis.IsLinearFunction
[bool result]=Analysis.IsLinearFunction(LogicFunction f);
f : a logic function
result : true | false
Check whether $f$ a linear function.
A linear function has the max order of 1.
Despite of the meaning of the linear, a linear function is very difficult to simplify.
*/
//-------------------------------------------------------------------
// examples
[f]=AndXor()
{
1;2;3;
}
[h]=AndXor()
{
1;
2,3;
}
[g]=Analysis.IsLinearFunction(f);
Print("IsLinearFunction?", g);
[g]=Analysis.IsLinearFunction(h);
Print("IsLinearFunction?", g);
//-------------------------------------------------------------------
// result
IsEqual IsPositiveUnateFunctionTo IsSelfDualFunction IsSymmetricFunction AndOr AndXor binary() bool ToOrAnd ToTruthTable DiagramGateName Count LogicScript long PositiveNumberToMantissa Or To2LayerNor Save InputVariables Backwardly StateVariables BestVariableOrder ROBDD SimpleCover string Utility EnlargeLogicFunction Normalization SemanticEval Zero