If p is true and q is false, the p -> q is always, sometimes, never true. when p is false and q is true, then p or q is always, sometimes, never true. if p is true and ~ q is false, then p -> ~ q is always, sometimes, never false. if p is true and q is true, then ~ p -> ~ q is always, sometimes, never true. if p -> q is true and q is true, then p always, sometimes, never is