
50 DISCRETE MATHEMATIC..._
________________________
_
The next column to its left will alternate T, T, F, F, T, T, F, F, etc. The next one to its left will alternate T, T,
T, T, F, F, F, F. As we move to the left, we repeat the
Ts
twice as many times as the previous column and twice
as may Fs. This pattern actually covers all possible ways
of
combining truth values for n Boolean variables.
Now, look at line I in the truth table. Look at the last column.
We
will notice that the entry has the
value T, which means that when
pis
assigned T and q is assigned T, then (p
1\
q)
is true as well. This is
just
a
formalization
of
what
we
said before