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 IsInverse IsLinearFunction IsSelfDualFunction IsSymmetricFunctionTo AbsoluteExpression ToBinary OneComplement DiagramGateName Dimacs Count long Nand PositiveIntegerToMantissa Radixes object() PermutationMatrix real To2LayerOrAnd SOP Solve TransitionSeries OutputAndStateBasedly To2layerOrAnd ROBDD RandomGenerate AdjustLogicVariableCount ShrinkLogicFunction var() Zero