Кто знаком с машинами Тьюринга...Доказать, что импликация вычислимая по Тьюрингу функция. Т.е. найти такую функцию!Пожалуйста, помогите...
Дашь определения - сможем. Что такое вычислимая по Тьюрингу? Что существует машина? Тогда вообще просто.
Вот нашел в инете кое-что...Как вы думаете это то, что мне нужно?
Эскизы прикрепленных изображений
Думаю, нет.
Оффтоп: и нафиг с этими блин машинами Тьюринга париться
Судя по всему, тебе нужно описать машину тьюринга, в которой на ленте в первых двух позициях будут X и Y, а в третьей, после завершения алгоритма, окажется X imply Y.
Это просто.
Для начала найди и напиши здесь определение машины Тьюринга.