Составить контекстно-свободную грамматику, удовлетворяющую однозначности ветвления по первому символу, для языка линейных многочленов Жегалкина булевых функций трёх переменных. Слагаемые могут идти в любом порядке, но не могут повторяться. “Исключающее или” можно записать в виде символа “+”.