Logiikan sitominen kelloon