TruthTable
Back to table
/*
LogicObject
TruthTable
[TruthTable f]=TruthTable(inputindexes){ rows; };
Define a combinatorial logic-object in the form of truth-table
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
Advanced IsBiUnateFunction IsInverse IsLinearFunction IsOneFunction IsPositiveUnateFunctionTo IsSymmetricFunction IsZeroFunction List GrayCode ToXORP Dimacs Email logicvardef Minus LeastSignificantDigit MostSignificantDigit RadixToIndex ShortestInputsForTransition InputVariables StateTransitionBasedly FullTable Fast FastVerificationData DontCare GetPositiveLogicFunction EnlargeLogicFunction Normalization Xor Zero