7.5.1 系统、功能与合取、析取