Imply
Back to table
/*
Logic-Function-Analysis
Imply
[LogicFunction g]=Imply(LogicFunction F1, LogicFunction F2);
F1 : a logic function.
F2 : a logic function.
g : a logic function.
Compute the Imply operator: g=Imply(F1,F2).
For according to the definition of the operator IMPLY, this module only allows two inputs.
*/
//-------------------------------------------------------------------
// examples
P=AndOr(){ 1; }
Q=AndOr(){ 2; }
f=Imply(P,Q);
Print(P,Q,f);
//-------------------------------------------------------------------
// result
IsCovering IsSymmetricFunctionTo AndXor BDD FromBinary ToDualFunction ToXORP Diagram DiagramGateName Eq Equiv FeedbackDiagram Not LeastSignificantDigit MantissaToPositiveInteger One PermutationMatrix ToFullAnd Implementation Simplification Compatibility HuffmanMealy Balanced MultiCover StateDeviceName StateTransition GetPositiveLogicFunction SemanticEval Substitute Zero