[]对于布尔代数我们必须添加维恩及其图这使得编程语言的综合