[btilly]

What is the upside down v supposed to be? Yeah, I know that it is "and". But it isn't specified, and I do little enough logic that I had to look it up.

[Tainnor]

It may help, if you're familiar with set notation, to remember that x ∈ A ∩ B iff x ∈ A ∧ x ∈ B - the symbols mirror each other.

[hoping1]

Fair, I think of this as advanced logic, and those concepts (and that notation) as prerequisite.