逻辑表达式
逻辑
表达式是由：
子句
{
或者
子句
}组成
子句
是由文字
{
并且
文字
}组成
文字是由：
逻辑常量
关系表达式
|
不满足
逻辑表达式
|
(
逻辑表达式
)