LogicScript
Back to table
/*
LogicObject
LogicScript
[object() f]=LogicScript(){ ; };
Define the contents as a block of script. No use.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
PermuteLogicFunction IsEqual IsMonotonicFunction IsPositiveFunction IsPositiveUnateFunctionTo IsSelfDualFunction And AndOr binary() List StringToBinaryNumber Convert ToTruthTable ToVariableInvertedFunction ExcitationTable LeastSignificantDigit MostSignificantDigit object() SAT Solve Save Assign AutoAssignInputAndStateVariables ToFeedbackSystem Simplification FullTable ShannonTree StateDeviceName SemanticEval Zero