Identify propositions within each sentence, assign a single-letter variables name for each proposition, provide compound propositions equivalent to each sentence using these variables, and use truth tables to exhaustively explore truth values of these compound propositions.

1. Roses are red and violets are blue.

2. Roses are red and either violets are blue or sugar is sweet

3. Either it will rain or snow, but not both

4. If Jane wins or if Jane loses, then Jane will be tired.

5. If the program halted, then the message was corrupted or the connection was ended.