Share
Explore BrainMass

Tautology

Show that ((p ══ > ~ q ) ^q) ══ > ~ p,

This read (p implies not q AND q) implies not p

$2.19