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

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

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

Для программного фрагмента

    p:=1; k:=0;
    while k<n do
    begin
        p:=2*p;
        k:=k+1;
    end;

Пусть P - рекурсивная процедура. Если гарантируется, что P рано или поздно завершает работу, то какие утверждения верны?

Могут ли приведенной BNF-грамматикой

    <word>::=<letter>|<letter><pairlet>|<letter><pairdig>
    <pairlet>::=<letter><letter>|<pairlet><letter><letter>
    <pairdig>::=<digit><digit>|<pairdig><digit><digit>
    <letter>::=a|b|c|...|y|z
    <digit>::=0|1|2|...|9