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
Analysis IsUnateFunction Binary BCDEx3 bool Convert ToROBDD Imply long NumberSystem PositiveIntegerToMantissa PermutationMatrix To2LayerNor Save Forwardly StateVariables ToFeedbackSystem ToDigitalSystem To2layerOrAnd Fast ROBDD Canonical string GetSubTable Utility SemanticEval Substitute Xor XORP Zero