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
PermuteLogicFunction IsCovering IsEqual IsSelfAntiDualFunction IsSelfDualFunction And Binary AbsoluteExpression FromBinary MaxValue NineComplement StringToBinaryNumber TwoComplement ToPOS ToSOP ToVariableInvertedFunction DiagramGateName LogicScript Minus RadixToIndex PermutationMatrix Solve Save InputVariables HuffmanMealy BestVariableOrder Canonical GetDontCareLogicFunction GetNegativeLogicFunction Zero