Four men -- Aaron, Barry, Colin & David and four women -- Marie, Norma, Olive & Pearl -- attended a wedding.
- One of the four men married one of the four women.
- If neither Aaron nor Marie got married, then Olive got married.
- If neither Aaron nor Norma got married, then Barry got married.
- If neither Barry nor Olive got married, then Colin got married.
- If neither Colin nor Norma got married, then Marie got married.
Who got married?
Recast the statements as:
(2) A or M or O
(3) A or B or N
(4) B or C or O
(5) C or M or N
Assume N is the bride.
Then from (2), A must be the groom.
from (4), B or C must be the groom.
This is a contradiction, so our assumption is wrong and N is not the bride.
The statements can then be simplified as
(2) A or M or O
(3) A or B
(4) B or C or O
(5) C or M
From (3), the Groom is not C.
From (5), the Bride is therefore M (and not O).
From (4), the Groom must be B.
The only solution is B&M
Another logical approach (spoiler)
