A then B or C but not both

hihihi9993

How would one write "A then B or C but not both"?
I usually use "A -> B/C not both" when solving games, but I was wondering if there is any other way to rewrite this statement.

According to our conditional translations, I think the statement could also be written as A -> (B<->/C), but it looks very weird...

Can anyone help? Thanks

Rigid Designator

You can split it in to two sentences.

A --> (B v C)
B --> /C

Your "weird" translation is correct though. I'd just use whichever feels most comfortable.

hihihi9993

@"Rigid Designator" Thank you for your reply.

Do you mind answering one more question for me?

Can
A->C, B->C
be written as
A/B->C ?

Because 'or' here is inclusive!?

Rigid Designator

@d931n027h said:
@"Rigid Designator" Thank you for your reply.

Do you mind answering one more question for me?

Can
A->C, B->C
be written as
A/B->C ?

Because 'or' here is inclusive!?

Yes, definitely.

hihihi9993

@"Rigid Designator" Thank you so much for your help!

samantha.ashley92

It looks like you got it figured out. Did you view the Advanced Logic videos? There are a few that would be helpful, including one specifically on "or, but not both".