У исполнителя Аккорд три команды, которым присвоены номера: 1.Подели на x 2.Прибавь 4 3.Вычти 3 Где x –неизвестное положительное число. Выполняя первую из них, Аккорд делит число на экране на х, выполняя вторую, прибавляет к этому числу 4, а выполняя третью, вычитает3.Программа для исполнителя Аккорд –это последовательность номеров команд. Известно, что программа 1213 переводит число 144 в число 7. Определите значение x.

закон тождества, непротиворечия, исключенного третьего, достаточного основания. Они действуют в любом рассуждении, в какой бы логической форме оно ни протекало и какую бы логическую операцию ни выполняло. Наряду с основными логика изучает законы двойного отрицания, контрапозиции, де Моргана и т.д., которые также действуют в мышлении, обусловливая правильную связь мыслей в процессе рассуждения.

1) Закон тождества. Любая мысль в процессе рассуждения должна иметь определенное, устойчивое содержание. Это коренное свойство мышления – его определенность – выражает закон тождества: всякая мысль в процессе рассуждения должна быть тождественна самой себе (А есть А, или А = А, где А – любая мысль). Нельзя отождествлять различные мысли, нельзя тождественные мысли принимать за нетождественные. Нарушение этого требования в процессе рассуждения часто бывает связано с различным выражением одной и той же мысли в языке. С другой стороны, употребление многозначных слов может привести к ошибочному отождествлению различных мыслей. Отождествление различных мыслей часто связано с различиями в профессии, образовании и др. Отождествление различных понятий представляет собой логическую ошибку – подмену понятий, которая может быть как неосознанной, так и преднамеренной.

2) Закон непротиворечия. Логическое мышление характеризуется непротиворечивостью. Противоречия разрушают мысль, затрудняют процесс познания. Требование непротиворечивости мышления выражает формально-логический закон непротиворечия: два несовместимых друг с другом суждения не могут быть одновременно истинными; по крайней мере одно из них необходимо ложно. Данный закон формулируется следующим образом: неверно, что А и не-А (не могут быть истинными две мысли, одна из которых отрицает другую). Закон непротиворечия действует в отношении всех несовместимых суждений

Схема
1)Количество монет в куче равно 1?
1a) Да, то это фальшивая монета выход
1b) Нет перейти к 2
2) разделим кучу поровну. перейти к 3
3)Правая куча тяжелее левой?
3a) Да, отложить правую и вернуться в (1)
3b) Да, отложить левую и вернуться в (1)
Можно еще добавить условия в случае если ее там нет
-1) разделим кучу на две поровну. перейти к 0
0) Кучи равны?
0а) Да, Выход нет фальшивой маеты
0b)Нет, перейти к 3
1)Количество монет в куче равно 1?
1a) Да, то это фальшивая монета выход
1b) Нет перейти к 2
2) разделим кучу на две поровну. перейти к 3
3)Правая куча тяжелее левой?
3a) Да, отложить правую и вернуться в (1)
3b) Да, отложить левую и вернуться в (1) 
Все гениальное просто:)