ntbit -

  Вход:  <numbit s1 s2 wt wf>
         s1,s2 - макроцифры
         wt,wf - термы
  Выход: [ wt, если s1(s2)=1 ]
         [ wf, если s1(s2)=0 ]