Categoty :
elaine : Simplify using the laws of algebra of statements and truth tables: ∼(p ⇒ (∼q)).

	: Simplify using the laws of algebra of statements and truth tables: ∼(p ⇒ (∼q)).
	p ∧ q#0#(∼p) ⇒ (∼q)#0#p ∨ q#0#(∼p) ⇒ q#0#