thought of the day

[Pv(Q*A)] * ~[(PvQ)*(PvA)] is only true when A is false and P and Q are both true. crazy, eh?

--update--
also, please note the following:
~[Pv(QvA) v [~(~PvQ)v(~PvA)] is only false when A is false, and both P and Q are true.