... **J /K** (biconditional). The **either or** rule must be taken into ... thus at least one, either J or K, **_must_** be present ... not arrow K) cannot represent "**either or, but not both**".
... all the possibilities for "Either J or K are selected, but ...