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.
