ChrisSalij/Fourth-Year-Project — Issue #3: node functional equivalence
Author: ChrisSalij
Created: 2011-10-19 12:47:27+00:00
State: open

This method will test whether nodes are functionally equivalent.
As in
(d v y) is true if d,y:=x,y