Digital Logic Design: Propositional Logic
mag(2012)
关键词
computer engineering,negation,tautology,equivalence,substitution,atoms,arity,boolean formula,computer hardware,constant,negation normal form,variable,logically equivalent,propositional logic,de morgan s laws,proof by contradiction,closure
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要