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
IsNegativeUnateFunctionTo AndOr BDD AbsoluteExpression MaxValue BinaryNumberToString NineComplement PureBinary bool() ToNotFunction ToTruthTable ToXORP Dimacs Minus MostSignificantDigit PositiveDecimalToMantissa To2LayerNand Sequential StateTransitionBasedly ToDigitalSystem To2layerOrAnd Compatibility HuffmanMealy Fast GetDontCareLogicFunction GetNegativeLogicFunction Utility ShrinkLogicFunction XORP Zero