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 IsBiUnateFunction IsBiUnateFunctionTo IsOneFunction IsSymmetricFunction IsSymmetricFunctionTo IsThresholdFunction BDD List GrayCode PureBinary TwoComplement binaryioset() ToOrAnd ToDiagram Dimacs Count LogicScript Not LeastSignificantDigit POS ToFullAnd Forwardly StateTransitionBasedly Shannon GetSubTable ShannonExpansion ShrinkLogicFunction var Zero