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
PermuteLogicFunction IsCovering IsEqual IsMonotonicFunction IsParityFunction IsPositiveUnateFunctionTo IsSymmetricFunctionTo And AndOr BDD List TwoComplement bool Eq FeedbackDiagram logicvardef() Not LeastSignificantDigit Radixes To2LayerOrAnd Backwardly StateTransitionBasedly HuffmanMealy Balanced SimpleInner CreateFromLogicFunctions ShannonExpansion Substitute Xor Zero