A（$x）（Bx∧Gx）B（$x）（Bx∧～Gx）C（∀x）（Bx→Gx）D（∀x）（Bx→～Gx）