Alligators from the \(\lambda\) park

Logic Level 3

Please read the rules of the Aligator Eggs game here

Addendum to the Color Rule: When the situation of conflict is removed, alligators revert to their original colors

These two families are called True and False respectively.

And here is a family called Not

When Not eats True, the result is False and when Not eats False, the result is True.

What should be the colors of the two eggs marked with ? be on the left and the right respectively?

This puzzle is borrowed from, the best Lambda Calculus explanation I've ever seen


Problem Loading...

Note Loading...

Set Loading...