Uses truth tables to check output of logic gates
(c) Shilpa Sayura Foundation 2006-2017