If 
, 
are boolean variables representing the
presence or absence of particles in the links 
then we can define:
where 
, a + b, 
and 
correspond
to the and, or, exclusive-or and not operators
respectively.
Then 
, the boolean variables representing the out-state, are given by
[96]
or
