(we include a column for \(\neg P\) just as a step to help getting the column for \(\neg P \imp Q\)).