Q. Represent statement into predicate calculus forms : "Not all birds can fly". Let us assume the following predicates bird(x): “x is bird” fly(x): “x can fly”.

• (A) ∃x bird(x) V fly(x)
• (B) ∃x bird(x) ^ ~ fly(x)
• (C) ∃x bird(x) ^ fly(x)
• (D) None