Это делается для унификации обработки всех объектов. Если я пишу код C, который обрабатывает значение, возвращаемое функцией, я должен увеличивать и уменьшать счетчик ссылок на этот объект. Если функция возвращает мне True, я не хочу, чтобы мне приходилось проверять, является ли он одним из тех специальных объектов, чтобы знать, следует ли манипулировать его счетчиком ссылок. Я могу обращаться со всеми объектами одинаково.
Если рассматривать Истину и Ложь (и Ничего, кстати) так же, как и все другие объекты, код C во всем становится намного проще.