Applications of Propositional Logic

Question 1

System specifications should be

Answer 1

consistent

Question 2

Logical connectives are used extensively in searches of large collections of information, such
as indexes of Web pages. Because these searches employ techniques from propositional logic,
they are called

Answer 2

Boolean searches

Question 3

Puzzles that can be solved using logical reasoning are known as

Answer 3

logic puzzles.

Question 4

we pose a puzzle known as the ______________ for the case of two children

Answer 4

muddy children puzzle

Question 5

receives input signals p1, p2, . . . , pn, each a bit [either
0 (off) or 1 (on)], and produces output signals s1, s2, . . . , sn, each a bit

Answer 5

logic circuit (or digital circuit)