当个体域S={a,b,c}消去公式 $x F(x) → "y G(y)中量词为
A、(F(a)ÚF(b)ÚF(c))→(G(a)ÙG(b)ÙG(c));
B、(F(a)ÙF(b)ÙF(c))→(G(a)ÙG(b)ÙG(c));
C、(F(a)ÚF(b)ÚF(c))→(G(a)ÚG(b)ÚG(c));
D、(F(a)ÙF(b)ÙF(c))→(G(a)ÚG(b)ÚG(c))
发布时间:2026-01-08 01:56:48
A、(F(a)ÚF(b)ÚF(c))→(G(a)ÙG(b)ÙG(c));
B、(F(a)ÙF(b)ÙF(c))→(G(a)ÙG(b)ÙG(c));
C、(F(a)ÚF(b)ÚF(c))→(G(a)ÚG(b)ÚG(c));
D、(F(a)ÙF(b)ÙF(c))→(G(a)ÚG(b)ÚG(c))