海词手机词典
  • For the complete multiple-valued logic functions, it was solved by Schofield and Kudrjavcev etc.

    播放读音 播放读音