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
Advanced MatchLogicFunction IsBiUnateFunctionTo IsSelfDualFunction IsSymmetricFunction AndOr BDD BCD BCDEx3 OneComplement bool() ToNotFunction Diagram Get Load LogicScript Nor MantissaToPositiveDecimal PositiveDecimalToMantissa PermutationMatrix MaxSAT Solve AutoAssignInputAndStateVariables Backwardly To2layerOrAnd Fast Shannon TimingChart Xor Zero