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
IsBiUnateFunctionTo IsLinearFunction IsOneFunction IsSymmetricFunctionTo IsUnateFunction AbsoluteExpression BCDEx3 ToDiagram ToXORP DigitalSystem minterm() Nand MantissaToPositiveNumber Radixes object() real To2LayerAndXor SAT ToStateTransitionTable ToDigitalSystem FullTable DontCare SimpleCover SimpleInner TruthTable GetSubTable AdjustLogicVariableCount ComputeDONTCARE Xor Zero