Share
Explore BrainMass

~(p conjunction q) <=> (~p disjunction ~q) is a tautology.

Modern Algebra
Logic (XII)
Tautologies
The Laws of Logic
The Basic Logical Laws
De-Morgan's Laws (I)

Prove that ~(p conjunction q) <=> (~p disjunction ~q) is a tautology.

The fully formatted problem is in the attached file.

Attachments

Solution Summary

It is proven that ~(p conjunction q) <=> (~p disjunction ~q) is a tautology. The solution is detailed and well presented.

$2.19