下列系统，支持布尔逻辑中或者关系的有（）。