Add __neg__ operator to TruthTable
Change DC (don't care) symbol from 'X' to '-'

I see the '-' character used more often in the literature.