StateDeviceName
Back to table
/*
Constant
StateDeviceName
statedevices;
Available value: SR-FF, JK-FF, T-FF, D-FF
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
PermuteLogicFunction IsCovering IsNegativeUnateFunctionTo IsParityFunction MaxValue BCD StringToBinaryNumber ToSOP Dimacs Equiv ExcitationTable list() Load long Minus Not RadixFromIndex RadixToIndex One real() To2LayerAndOr ToFullAnd Solve ShortestInputsForDistinguishTwoStates Backwardly CreateCompactTable Simplification string TruthTable Zero