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
IsOneFunction AndOr BDD ToAndOr ToBinary bool() ToTruthTable ExcitationTable FeedbackDiagram Imply LogicScript Nor RadixToIndex OrAnd POS SAT Sequential TransitionSeries OutputAndStateBasedly StateTransitionBasedly CreateCompactTable Implementation Canonical Shannon CreateFromLogicFunctions GetDontCareLogicFunction Utility Substitute var Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.