Match the English sentences with their symbolic representations. The domain of discorse is taken to be all vehicles. All cars are fast. a. vx(-C(x)D()) No large vehicles run on electricity. b. 3x(B(x) A D(x)) Vehicles that do not run on electricity are not fast. c. Vx( D(x) B(x)) All cars run on electricity. d. Vx(A(x) B(x)) e.max(C(x) ^ D(x)) f. Vx(A(x) - D(x))