H.
\/(~(H),\/(P,Q)).
\/(~(P),C).
\/(~(Q),C).
