Выписать набор граничных примеров и контрпримеров

Выписать набор граничных примеров и контрпримеров, демонстрирующих уточнение языка. Составить КС-грамматику языка.
Прописать грамматический разбор одного примера.
Проверить, удовлетворяет ли грамматика однозначности ветвления по первому символу. Если не удовлетворяет, то изменить грамматику так, чтобы она удовлетворяла.
По грамматике составить синтаксические диаграммы.
Язык: язык многочленов Жегалкина булевых функций двух переменных. Слагаемые записывается в порядке: xy+x+y+1. “Исключающее или” можно записать в виде символа “+”.