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
IsBiUnateFunctionTo IsNegativeUnateFunctionTo IsOneFunction List PureBinary bool() ToVariableInvertedFunction Diagram Email Eq list() logicvardef NumberSystem object POS real Realization Solve Backwardly ToDigitalSystem HuffmanMealy Canonical Full StateDeviceName CreateFromLogicFunctions EnlargeLogicFunction SemanticEval Substitute var Zero