A or B translates to /A -----> B, or is negate sufficient. The not both just makes it a biconditional /A B. So that would just be two worlds, A in, B out and B in, A out.
To keep it simple, the biconditional requires A or B to be in, but not both. The not both rule could have both out. You can think of it in terms of max out
KM is a biconditional. It is read both ways ... out game. So unpacking the biconditional reading the arrow **_forward_** we ... instance. In this case, the biconditional does not hold the same ...
... :
> KM is a biconditional. It is read both ways ... out game. So unpacking the biconditional reading the arrow **_forward_** we ... instance. In this case, the biconditional does not hold the same ...