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
Advanced IsBlankFunction IsCovering IsInverse IsMonotonicFunction IsSymmetricFunction And binary() binaryioset() bool ToDualFunction ToROBDD Eq ExcitationTable FeedbackSystem Count Load logicvardef minterm() RadixFromIndex ToFullAnd ToFeedbackSystem CreateCompactTableWithFullSimplification ToDigitalSystem Fast FastVerificationData Shannon ComputeDONTCARE EnlargeLogicFunction Zero