Ев отборочном соревновании участвуют 4 спортсмена:Петров, Белов, Комаров и Громов. До начала соревнований болельщиками были сделаны следующие прогнозы: 1первое место завоюет Комаров, а Белов будет вторые
2)Белов займёт последнее место,а Громов -передпоследнее
3)Третье место займёт Петров, а Комаров будет вторым.
После соревновании оказалось, что в каждом прогнозе только одно из двух высказываний верно.Какие место в забеге заняли участники?
Решите задачу, составив и преобразовав логическое выражение.

запишем условие: по условию даны мощности двух алфавитов

Nm=32, Np=64 количество символов в письмах Km=80, Kp=70

Нужно сравнить информационные объемы  писем двух племен Im, Ip

решение: для нахождения информационного объема текста нам нужен вес 1 символа в каждом алфавите. Найдем его:

Nm=2^im, подставим сюда известную величину - 32=2^im

32 - это двойка в четвертой степени, поэтому im=4бит

Np=2^ip, подставим сюда известную величину - 64=2^ip

64 - это двойка в пятой степени, поэтому ip=5бит

Вычислим Im=Km*im=80*4=320 бит, Ip=Kp*ip=70*5=350 бит,

сравним объемы Ip>Im

Я приведу программное решение, так как это все-таки информатика. Аналитическое решение ищите по ссылке в комментариях

Код на Ruby 2

def f0(number, log) #
  v = 1
  n = number + v
  log = "#{log}A"
  return [n, log]
end

def f1(number, log) #
  v = 2
  n = number + v
  log = "#{log}B"
  return [n, log]
end

def f2(number, log) #
  v = 3
  n = number + v
  log = "#{log}C"
  return [n, log]
end

def countWays(start_num, end_num, op_number, max_steps = 0)
  ways = {}
  ways.store(start_num.to_s, start_num)

  max_steps = max_steps == 0 ? (start_num - end_num).abs : max_steps
  count = 0

  for steps in 1..max_steps
      new_ways = {}
      ways.each_pair{|log, num|

          for k in 0..op_number-1
              num1, log1 = f0(num, log) if k == 0
              num1, log1 = f1(num, log) if k == 1
              num1, log1 = f2(num, log) if k == 2

              if num1 == end_num then
                  log1 += " = " + end_num.to_s
                  count += 1
                  # puts log1
              elsif num1.between?(start_num, end_num)
                  new_ways.store(log1, num1)
              end
          end
      }
      ways = new_ways
  end
  return count
end

p countWays(0, 11, 3) # с 0 до 11, 3 разных команды

Вывод 504

Поскольку длина путей до ценного объекта и от объекта до базы - равны, то всего вариантов 504*504 = 254016