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 IsBiUnateFunctionTo IsPositiveUnateFunctionTo IsSymmetricFunction IsSymmetricFunctionTo AndXor FromBinary bool() Diagram DigitalSystem Load logicvardef NumberSystem PositiveIntegerToMantissa Or real SAT ShortestInputsForDistinguishTwoStates StateVariables StateTransitionBasedly ToFeedbackSystem Implementation FastVerificationData MultiCover SimpleCover SimpleInner ComputeDONTCARE Substitute Xor Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.