閉論理式へいろんりしきへい･<ろん'り'しき>5

Logikgeschlossene Formel