Бірінші сөйлем: Егер бізде ауыспалы Тьюринг машинасы болса, біз ресурсты пайдаланамыз. 2-ші сөйлем: Тьюрингтің ауыспалы машинасы бар болса, біз ресурсты пайдаланамыз. Сұрақ: 1-ші сөйлем мен 2-ші сөйлем бір мағынаны білдіре ме? Иә немесе Жоқ?
Иә