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 Analysis IsCovering IsSymmetricFunctionTo binary() Binary AbsoluteExpression GrayCode binaryioset() bool ToDualFunction Diagram DigitalSystem Equiv ExcitationTable minterm LeastSignificantDigit PermutationMatrix MaxSAT Solve AutoAssignInputAndStateVariables OutputAndStateBasedly ROBDD Full SimpleInner StateDeviceName GetNegativeLogicFunction GetSubTable Utility Zero