Truth table based synthesis experiment.