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