Примеры использования логической конструкции «тогда и только тогда» в информатике