单项选择题

在元组关系演算中,与公式(s)(P1(s))等价的公式是()。

A.┐(s)(P1(s))
B.(s)( ┐Pl(s))
C.┐(s)( ┐P1(s))
D.┐(s)( ┐P1(s))