# [tlaplus] Re: Lecture 9, part 1, Alternating-Bit Protocol

If I say

She can join the team if she is good on offense or on defense.

do you think I'm saying that she can't join the team if she is good
on both offense and defense?  In informal text, whether "or" means
"and/or" or "or ... but not both" depends on the context.  In this
context, since A \/ B is true if A /\ B is true, it means "and/or".
In a mathematical context, "or" almost always means "and/or".

Leslie
On Friday, February 12, 2021 at 8:32:22 PM UTC-8 bc.be...@xxxxxxxxx wrote:
In the video, around 8:58, the Next action is defined as

A \/ B

meaning it's an A step or a B step ... but isn't the case where
the step is BOTH an A step and a B step allowed by this
_expression_?

Later, A and B are defined so that A explicitly says BVar' = BVar
is unchanged and B says AVar' = AVar is unchenced. So if both
A and B occur in a Next, it amounts to a stuttering step.

I just want to make sure I understand

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.