sort atoms before rendering truth table.
do_show, showIt, and renderIt coordinated to handle so-called equivalents.
json serialized data printing