Eq
Back to table
/*
Logic-Function-Analysis
Eq
[LogicFunction g]=Eq(LogicFunction F1);
Compute the EQ operator: g=Eq(F1).
After the And() operation, we only apply the Simplification.SimpleInner(), and a few steps of Simplification.SimpleCover().
In the NPMACS.COM computation service, this module is free of charge.
*/
//-------------------------------------------------------------------
// examples
P=AndOr(){ 1; }
f=Eq(P);
Print(P,f);
//-------------------------------------------------------------------
// result
IsBiUnateFunctionTo IsCovering IsSymmetricFunction IsUnateFunction AndXor binary() FromBinary MinValue binary ToOrAnd ToDiagram ToXORP logicvardef() logicvardef minterm One PermutationMatrix real SOP Save InputVariables ToStateTransitionTable FullTable ROBDD string() Utility ComputeFunctionOrder EnlargeLogicFunction var() Zero