☰

исчисление высказываий на китайском

др.
общ.
命题演算 mìngtí yǎnsuàn