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

These propositional forms are equivalent.

RETURN to problem set.



Duane Kouba 2002-05-09