<p>Your first statement can be reduced to:
~(pvq)
Which is renders the entire schema consistent.</p>
<p>The second statement is true whenever 'q' is true, and is false whenever 'p' and 'q' are false. Thus, it is also consistent.</p>
<p>Here is a nice exercise:
((~EFG~H -> EF~G)(~EF~G v ~EF~H)) -> (~EFH~G -> EF~HG)
Convert that to disjunctional (or alternational) normal schema/format. 'E' is the existential quantifier.</p>
<p>Have fun:)</p>