摘要： 命题运算符；命题逻辑的电路逻辑表达；数字逻辑；二进制加法电路；真值表；iff词的定义 ;或且非门 ；存在与全称量词用法；命题逻辑 阅读全文