What people are saying - Write a review
We haven't found any reviews in the usual places.
Logic and Digital Electronic Circuits
5 other sections not shown
algorithm apply argument arithmetic axioms basic propositions binary connectives binsearch called Chapter circuit clock signal combinatorial logic consider constant constructed contains corresponding database deduce defined definition elements empty clause evaluated example F F F F T F failure node false finite formal theory formula full adder function symbols gates given Hence Herbrand Herbrand base holds Horn clause hypotheses implement induction input integer interpretation Karnaugh map literal logic programming logically equivalent loop natural numbers negation notation obtain operands output partial verification Pascal possible predicate calculus predicate language procedure programming language PROLOG proof rule propositional calculus prove Quicksort recursive represent resolution resolvent result satisfy semantic tree sequential logic set of clauses shown in Fig specification statement strategy structure subformula substitution tautology techniques Theorem true truth function truth table truth values truth-functional unary valid valuation verify