/* Здесь приведены примеры вычислений в онтологии " " */.
Используем понятие [Язык булевых выражений].
% Бул_переменная ::= " 'x_1' | 'x_2' ".
x_1, x_2 : Бул_переменная.
b : Атом.
/* Примеры вопросов */.
/*
Чему равно t&b V b&t&b?
Чему равно ~(t&~(f V b))?
Чему равно (~x_1 & x_2) V (b & x_2) v ~(~b v ~x_2)?
~x_1 V x_2 & (f V ~f) - Бул_выр?
Чему равно ~x_1 V x_2 & (f V ~f)?
Чему равно ~f V f & (f V ~f)?
Какова структура ~f V f & (f V ~f)?
*/ .