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 IsSymmetricFunction BCD PureBinary binary binaryioset bool() ToAndXor ToROBDD ToVariableInvertedFunction FeedbackSystem logicvardef NumberSystem RadixFromIndex POS real() SOP ToFullAnd InputVariables Forwardly ToDigitalSystem Simplification BestVariableOrder DontCare SimpleInner StateTransition CreateFromLogicFunctions Normalization Xor Zero
Rapua tenei Paetukutuku :
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.