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
IsUnateFunction And AndOr AndXor ToBinary NineComplement OneComplement StringToBinaryNumber binary AddXorTerm ToROBDD ToTruthTable Eq ExcitationTable minterm NumberSystem RadixToIndex real() Realization To2LayerAndXor ToFullAnd Assign StateTransitionBasedly Implementation Balanced MultiCover RandomGenerate ShannonExpansion Substitute Zero