Algorithm for analyzing logical statements to produce a truth function table | Synapse