Permalink
Switch branches/tags
Nothing to show
Commits on Feb 13, 2018
Commits on Feb 12, 2018
  1. Fix typo

    JuanitoFatas committed Feb 12, 2018
  2. Statement 5

    JuanitoFatas committed Feb 12, 2018
    Albert is saying that after hearing the month and Bernard's statement 4, he now knows Cheryl's birthday:
  3. Statement 4

    JuanitoFatas committed Feb 12, 2018
    Bernard: At first I don't know when Cheryl's birthday is, but I know now.
    
    Bernard: At first Cheryl told me the day, and I didn't know. Then I considered just the dates for which Albert's statement 3 is true, and now I know.
  4. Implement statement 3

    JuanitoFatas committed Feb 12, 2018
    Albert: I don't know when Cheryl's birthday is, but I know that Bernard does not know too.
    
    The statement3 takes as input a possible birthdate and returns true if Albert's statement is true for that birthdate.
    
    Albert: After Cheryl told me the month of her birthdate, I didn't know her birthday. I don't know which day Cheryl told Bernard, but I know that for all of the possible dates, if Bernard is told that day, he wouldn't know the birthdate.
  5. Add problem definition

    JuanitoFatas committed Feb 12, 2018