☰

формальная N-значная на китайском

др.
общ.
形式逻辑 xíngshì luóji