truth-table Truth Table Solver Binary Usage Requires a terminal that supports some unicode outputs (macron, overline). Unicode Short bar (macron) is U+0304, long bar (overline) is U+0305. Library Usage ???