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
IsBlankFunction IsCovering IsNegativeUnateFunctionTo binary() FromBinary MaxValue ToBinary OneComplement bool() Convert ToAndXor ToOrAnd ToXORP Eq minterm Minus Nand RadixFromIndex object() Print To2LayerNand ToFullAnd MaxSAT Sequential Compatibility ROBDD Shannon GetSubTable Normalization Zero