bool -область.
f,t -элементы области bool.
AND: bool x bool ->bool.
OR : bool x bool -> bool.
NOT : bool ->bool.

/* Таблица действия логических операций */

NOT(f)=t. NOT(t)=f.
AND(f; f)=f. AND(f; t)=f. AND(t; f)=f. AND(t; t)=t.
OR(f; f)=f. OR(f; t)=t. OR(t; f)=t. OR(t; t)=t.

Введем шаблон "@u & @v"
с переменными:
"u : bool; v : bool"
и переменной результата " w:bool " ;
Пояснения: [операция конъюнкции]
Условие применения шаблона:
[]
Действие шаблона:
[w=AND(u;v)]
Тип доступа шаблона: [внешний].

Введем шаблон "@u V @v"
с переменными:
"u : bool; v : bool"
и переменной результата " w:bool " ;
Пояснения: [операция дизъюнкции]
Условие применения шаблона:
[]
Действие шаблона:
[w=OR(u;v)]
Тип доступа шаблона: [внешний].

Введем шаблон " ~@u "
с переменными:
"u : bool"
и переменной результата " w:bool " ;
Пояснения: [операция отрицания]
Условие применения шаблона:
[]
Действие шаблона:
[w=NOT(u)]
Тип доступа шаблона: [внешний].

"x", y, z: bool.
z=y V ~y&x.
y=f; x=t.

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