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

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