若以“Ds”表示被定义项、“S1、S2……”表示种差项、“G”表示邻近的属概念、“=df．”表示定义联项，则“合同是民事主体之间设立、变更、终止民事法律关系的协议。”（《中华人民共和国民法典》第464条第1款）这一法律概念的逻辑结构，可用符号公式刻画为（）
若以“Ds”表示被定义项、“S1、S2……”表示种差项、“G”表示邻近的属概念、“=df．”表示定义联项，则“合同是民事主体之间设立、变更、终止民事法律关系的协议。”（《中华人民共和国民法典》第464条第1款）这一法律概念的逻辑结构，可用符号公式刻画为（）
A.Ds=df．（S1∧S2∧S3）+G
B.Ds=df．（S1∨S2∨S3）+G
C.Ds=df．（S1∧（S2∨S3））+G
D.Ds=df．（S1∨（S2∧S3））+G
正确答案：Ds=df．（S1∨S2∨S3）+G