次の文を論理記号を使って表現してください:

「店が開いていないというのは真ではない」

使用する記号:

• S を「店が開いている」とする
• ¬ を否定(not)とする

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