"命题代数" [mìngtí dàishù] на русском - Китайско-русский словарь и переводчик