$ P $ $ Q $ $ R $ $ \sim Q $ $ P \vee ( \sim Q )$ $ (\sim Q ) \wedge R $ $ (P \vee ( \sim Q)) \wedge R $ $ P \vee ( ( \sim Q) \wedge R )$
$ T $ $ T $ $ T $ $ F $ $ T $ $ F $ $ T $ $ T $
$ T $ $ T $ $ F $ $ F $ $ T $ $ F $ $ F $ $ T $
$ T $ $ F $ $ T $ $ T $ $ T $ $ T $ $ T $ $ T $
$ F $ $ T $ $ T $ $ F $ $ F $ $ F $ $ F $ $ F $
$ T $ $ F $ $ F $ $ T $ $ T $ $ F $ $ F $ $ T $
$ F $ $ T $ $ F $ $ F $ $ F $ $ F $ $ F $ $ F $
$ F $ $ F $ $ T $ $ T $ $ T $ $ T $ $ T $ $ T $
$ F $ $ F $ $ F $ $ T $ $ T $ $ F $ $ F $ $ F $

These propositional forms are NOT equivalent. They differ in the second and fifth entry of the second table.

RETURN to problem set.



Duane Kouba 2002-05-09