以下の文を論理記号を用いて表現しなさい:

「バッテリーが充電されているならば、電話機は起動し、かつ正常に動作する」

使用する記号:

• B は「バッテリーが充電されている」を表す
• O は「電話機は起動する」を表す
• W は「電話機は正常に動作する」を表す
• → は含意を表す
• ∧ は連言(and)を表す

計算機で利用可能な記号を使って答えを入力しなさい。