I found the article generally interesting. As a tester, I often need to build truth tables and this tool could come in handy.

However, I've never come across the "IMPLIES" operator before. The article gives:

Implies P IMP Q ~P | Q

What exactly does this mean? From the meaning of implies, I would expect it to mean:

1. If P is true then Q must be true.

2. If P is false, then Q may be true.

But, given the logic, I have no idea where he's trying to go.