DiagramGateName
Back to table
/*
Constant
DiagramGateName
[var output]=gate(var);
Available value: and, or, not, xor, eq, imply, nand, nor, equiv, one, zero, buffer
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsEqual IsThresholdFunction And binaryioset() binaryioset ToDualFunction ToVariableInvertedFunction Dimacs FeedbackSystem logicvardef() logicvardef long() PositiveIntegerToMantissa Radixes object Realization To2LayerOrAnd SAT InputVariables StateTransitionBasedly GetExcitationTable Balanced Fast Canonical MultiCover SimpleCover GetPositiveLogicFunction ComputeFunctionOrder var Zero