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 IsLinearFunction IsParityFunction AndXor MinValue BCDEx3 Eq Imply long() PositiveIntegerToMantissa Radixes object() To2LayerOrAnd To2LayerAndXor Save ShortestInputsForDistinguishTwoStates ShortestInputsForTransition InputVariables StateVariables ToStateTransitionTable FullTable HuffmanMealy FastVerificationData SimpleInner CreateFromLogicFunctions GetNegativeLogicFunction GetPositiveLogicFunction RandomGenerate ShannonExpansion Zero