Au ショップ 掛川大池. Fischer Ludrian.

P ∧ p ∨ q )] → q. 現状 に 即 した 意味.