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


Основные характеристики понятия
Среда понятия: 
Текст понятия: 

/* Грамматика булевых выраженй задается в форме Бэкуса-Наура */

Булево_выр ::= "Конъюнкт | Булево_выр 'V' Конъюнкт".
Конъюнкт ::= "Атом | Конъюнкт '&' Атом".
Атом ::="'f' | 't' | '(' Булево_выр ')' | '~'Атом | Переменная".
Переменная ::= "'x_1' | 'x_2'".

/* Примеры вопросов:
~x_1 V x_2 - Булево_выр?
t & ~~f - Булево_выр?
Чему равно тип (t & ~~f)?
Какова структура ~x_1 V x_2 ?
*/.

Используемые понятия: 

В данной онтологии отношение использования не установлено

Шаблоны, разработанные в данном понятии: 

В данной онтологии шаблоны не разработаны

у данной онтологии нет версий