I can't figure out what is meant in my text books with the "Either / Or" statements. I'm in a math proof class trying to wrap my head around this. See example below.
Either Jim or Bob has red hair P = Jim has red hair Q = Bob has red hair
Does this mean:
P v Q
(P v Q) ^ (~P v ~Q)