Базовый Эрудит — questions

Набор булевых операторов достаточный для выражения произвольной булевой функции называется полным. Какой набор из представленных полным НЕ является?

Рассмотрим C-программу:

    #include <stdio.h>
    main()
    {
        float sum=0.0, j=1.0, i=2.0;
        while (i/j>0.001)
        {
            j=j+j;
            sum=sum+i/j;
            printf("%f \n",sum);
        }
    }

Какое утверждение неверно для нижеприведенной грамматики?

    S::=AB
    A::=a
    A::=BaB
    B::=bbA

Какой набор может быть множеством всех общих делителей для некоторых двух целых?

Рассмотрим паскалеобразный фрагмент:

    var i,j:integer;
    procedure P(k,m : integer by reference);
    begin
        k:=k-m;
        m:=k+m;
        k:=m-k;
    end;
    i:=2;
    j:=3;
    P(i,j);