q^ ~(p V q) tautology or fallacy?​