Какой будет двойственная формула для формулы:
((а → b) v (c & a)) ~ (b → a)?

1Делим монеты на две равные кучки. Из каждой кучки берем по 3 монеты, кладем на весы и взвешиваем. Если вес одинаковый то взвешиваем оставшиеся 1и 1 монеты и выявляем фальшивую (более легкую) . Если же одна группа из трех монет легче другой, значит там есть фальшивая монета. Оставляем более легкую группу из трех монет и кладем на весы 1и 1 и действуем по предыдущему алгоритму: если вес одинаков, значит фальшива третья, а если нет то та которая легче.  
       2да нужно заполнить полностью оба сосуда и оставить в каждом                        ровно половину получится как раз 4 литра (1,5+2,5 =4)

Procedure TForm1.Button4Click(Sender: TObject);
var Buff: TNodePointer;
x: TItem;
i,j: Cardinal;
begin
 i:=0;
 Buff:=Head;
 if(Buff^.Next=nil) then
 begin
  ShowMessage('В стеке один элемент!');
  exit;
 end;
while Buff <> nil do
begin
 while (Buff^.Next<>nil) and (Buff^.Data=Buff^.Next^.Data) and not(isEmpty(Buff)) do
 begin
  pop(Buff^.Next,x);
  for j:=i to StringGrid1.RowCount-2 do
   StringGrid1.Cells[0,j]:=StringGrid1.Cells[0,j+1];
  StringGrid1.RowCount:=StringGrid1.RowCount-1;
 end;
 Buff:=Buff^.Next;
 i:=i+1;
end;
end;

PS. Delphi у меня сейчас нет, так что проверяйте сами. Если что не так - сообщайте.