Famous logic problems