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
IsNegativeUnateFunctionTo IsPositiveUnateFunctionTo IsSelfDualFunction Binary List BinaryNumberToString NineComplement StringToBinaryNumber TwoComplement Convert AddXorTerm Diagram list() NumberSystem MostSignificantDigit Or Print real SAT ShortestInputsForDistinguishTwoStates Assign StateTransitionBasedly ToFeedbackSystem HuffmanMealy SimpleCover TimingChart GetDontCareLogicFunction GetSubTable ShrinkLogicFunction Zero