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
PermuteLogicFunction IsPositiveUnateFunctionTo IsSymmetricFunctionTo IsZeroFunction AndOr AndXor List StringToBinaryNumber binaryioset bool() ToSOP DigitalSystem Imply Count PositiveNumberToMantissa Print MaxSAT Sequential ShortestInputsForTransition CreateCompactTable To2layerOrAnd ROBDD Full Shannon StateDeviceName GetSubTable ShannonExpansion ShrinkLogicFunction var() Zero