与谓词演算公式Ø ( "x) ( "y) ( P (x, y)Ú Q (x, y) )等价的公式是( )
A、Ø ( $x) ( $y) (Ø P (x, y)Ú Ø Q (x, y) );
B、( $x) ( "y) (Ø P (x, y)Ú Ø Q (x, y) );
C、 ( $x) ( $y) (Ø P (x, y)Ù Ø Q (x, y) ) ;
D、("x) ($y) (Ø P (x, y)Ú Ø Q (x, y) )
发布时间:2025-04-01 21:56:23