Given the following abbreviations:
G = Germany wins the gold
E = England loses
U = The USA wins
C = Canada bows out
How do you translate:
If Canada bows out then the USA wins the silver, provided that England loses and Germany wins the gold.
In addition to the ~ symbol on your keyboard, use a lower case 'v' for disjunction, the '&' for conjunction, the '>' for implication, and the ' <>' for equivalence. Do not put any spaces between any of the symbols