truth table for (((p OR q) IMPLIES (r OR NOT q)) IMPLIES NOT p)