Sept. 19, 2002
Workshop on Boolean Problems
Set Simulation
fanins
{3}
{1}
{1}
{0,2}
PO
1
PO
2
{1,2,4}
{0,2}
{0,2}
{0,2}
{1,4}
{0,1}
{1,3}
{1,3}
= {1,2,4}
= {1,3}
PI/PO relation contains
3 1 1 / 1 1
3 1 1 / 1 3
3 1 1 / 2 1
3 1 1 / 2 3
3 1 1 / 4 1
3 1 1 / 4 3
It is the cross product
of all PO sets