Explanation of the Xor,eqv,imp logical operators in ASP

Or is two conditions at least one is true, then the result is true.

And XOR is only one of the two conditions for true when the result is true, that is, only one real time to set up, two are true when the result is false, this is different from or.

Eqv, it is as long as two conditions are true or false when the result is true, a true false when the result is false.

IMP is a bit more complicated, but just remember two points:
1/Two conditions are in order.
2/As long as the first condition is false, or the second condition is true, the result must be true.

IMP is one of the hardest to remember.
First, the conditions are in order.
The second is that the condition is not only true False but also multiple Null
Three is a bitwise comparison


The result is true when the condition is false, or if condition two is true
Only the condition one is true, and if the condition two is false, the result is false
Other is null