-- Sep 28 In-Class Exercise
Define names
Pop = Purple
Soda = Blue
Coke = Burgundy
Regions = West (W), South (S), North (N), Missouri (MI), Wisconsin (WI), Northeast (NE), Florida (FL), Alaska & Hawaii (AH)
Set of variables (regions)
X = {W, S, N, NE, WI, NE, FL, AH}
Set of domains (possible names each region may call a carbonated beverage)
D = { {Purple, Blue, Burgundy}, {Purple, Blue, Burgundy}, {Purple, Blue, Burgundy}, {Purple, Blue, Burgundy}, {Purple, Blue, Burgundy}, {Purple, Blue, Burgundy}, {Purple, Blue, Burgundy}, {Purple, Blue, Burgundy} }
Set of Constraints: No two adjacent regions will use the same name
C = { {W != N}, {W != S}, {S != N}, {S != FL}, {S != NE}, {NE != N}, {WI != N}, {MI != N}, (MI != S) }
(
Edited: 2022-09-28)
Define names
Pop = Purple
Soda = Blue
Coke = Burgundy
Regions = West (W), South (S), North (N), Missouri (MI), Wisconsin (WI), Northeast (NE), Florida (FL), Alaska & Hawaii (AH)
Set of variables (regions)
X = {W, S, N, NE, WI, NE, FL, AH}
Set of domains (possible names each region may call a carbonated beverage)
D = { {Purple, Blue, Burgundy}, {Purple, Blue, Burgundy}, {Purple, Blue, Burgundy}, {Purple, Blue, Burgundy}, {Purple, Blue, Burgundy}, {Purple, Blue, Burgundy}, {Purple, Blue, Burgundy}, {Purple, Blue, Burgundy} }
Set of Constraints: No two adjacent regions will use the same name
C = { {W != N}, {W != S}, {S != N}, {S != FL}, {S != NE}, {NE != N}, {WI != N}, {MI != N}, (MI != S) }