Equiv
Back to table
/*
Logic-Function-Analysis
Equiv
[LogicFunction g]=Equiv(LogicFunction F1, LogicFunction F1);
F1: a logic function
F2 : a logic function
g : a logic function
Compute the EQUIV operator: g=Equiv(F1,F2).
For according to the definition of the operator EQUIV, this module only allows two inputs.
*/
//-------------------------------------------------------------------
// examples
P=AndOr(){ 1; }
Q=AndOr(){ 2; }
f=Equiv(P,Q);
Print(P,Q,f);
//-------------------------------------------------------------------
// result
MatchLogicFunction Analysis IsPositiveUnateFunctionTo IsSelfDualFunction IsUnateFunction binary() ToBinary OneComplement PureBinary TwoComplement ToAndXor ToDiagram ToDualFunction ToTruthTable Dimacs Email Get logicvardef() long Radixes One OrAnd real Realization To2LayerNor SOP To2layerOrAnd HuffmanMealy Balanced Zero