ShannonTree.FastVerificationData
Back to table
/*
Shannon-Tree
ShannonTree.FastVerificationData
[BinaryIOSet() dataList ]=ShannonTree.FastVerificationData(LogicFunction F);
F : a logic function
dataList : a list of data-set in the form {input : output}
Generate the fast verification input-output pattern for validating a logic circuit.
The series of the results are not sorts.
*/
//-------------------------------------------------------------------
// examples
f = AndOr()
{
2,4;
1,-3;
-1,2,3;
-1,2,3,4;
-2,-4;
}
g=ShannonTree.FastVerificationData(f);
Print(f,g);
//-------------------------------------------------------------------
// result
PermuteLogicFunction IsBiUnateFunctionTo IsEqual IsInverse IsNegativeUnateFunctionTo IsPositiveFunction ToBinary GrayCode OneComplement binary bool() ToShannonTree DigitalSystem Email list() logicvardef Not LeastSignificantDigit RadixFromIndex Print MaxSAT Sequential TransitionSeries StateVariables string GetDontCareLogicFunction GetNegativeLogicFunction AdjustLogicVariableCount ShannonExpansion Zero