Грамматика булевых выражение

/* Пример грамматики булевых выражений, заданной в форме Бэкуса-Наура */.
Бул_выр::="Конъюнкт | Бул_выр 'V' Конъюнкт".
Конъюнкт::="Атом | Конъюнкт '&' Атом".
Атом:="'f' | 't' |'('Бул_выр')' | '~'Атом | Переменная".
Перемнная::="'x_1' | 'x_2'".