Utility.SemanticEval
Back to table
/*
Logic-Function-Analysis
Utility.SemanticEval
[LogicFunction g]=Utility.SemanticEval(LogicFunction F1, LogicFunction F2)
Compute $g=F1(F2=T)$.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBiUnateFunction IsCovering IsOneFunction IsSelfDualFunction IsThresholdFunction MaxValue ToBinary Convert ToDualFunction Email Equiv logicvardef() LeastSignificantDigit MostSignificantDigit RadixFromIndex To2LayerNor To2LayerOrAnd To2LayerAndOr Save StateVariables OutputAndStateBasedly StateTransitionBasedly MultiCover Shannon TimingChart IndependentBase ShrinkLogicFunction Substitute var Zero