☰

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

сущ.
мат.
命题演算 mìngtí yǎnsuàn