print$("$p q not$($p$)->$ q$")$ # This is a header line that labels the columns

# The loop runs through every possible truth assignment for p and q

for p in $($True$,$ False$)$:

for q in $($True$,$ False$)$: