日本語:
論理式：
JS: