Aristoteles Logic Synth Logic Gates