卢卡西维茨的三值命题演算。和三位双开关| IEEE期刊和杂志| IEEE Xplore