Yup, it is correct. And @amipp170 is right also! Whenever you have A--->B and B-->A (which is what you have here if you take the contrapositive of the second statement), you can make the statements into one biconditional AB.
@JoeyPotato - there's a note in pink below the video that clarifies that the biconditional notation in the video is a mistake - I didn't notice that until now.
Nice catch!
@Micaela_OVO
Thanks, if I add the word 'always' to that rule (M and N cannot always be selected together), would that turn this not both rule into a biconditional (always apart, never together)?
... ") for these instances, but your biconditional diagram is equivalent. What you ... distribute the negation into the biconditional, this becomes ~T → (J ↔ B ...
Watch the video of PT 55 Games for Game 4. This is a a great example of a differently worded biconditional statement. Also a really really hard game and a good one to master!!
... written, the rule is not biconditional. If C is before D ... if this was a biconditional. In a true biconditional, if C was ... as written lacks the traditional biconditional language. Something like A is ...