由并非SAP可推出SOP，其根据是逻辑方阵中的（　）。