Next: Up: Previous:

Circuit Satisfiability

$\psfig{figure=figures/f27-1.ps}$

Boolean Combinational Circuits

$\psfig{figure=figures/f27-2.ps}$

not satisfiable for any x₁ $\in$ {0,1}

$\psfig{figure=figures/f27-3.ps}$

satisfiable for x₁ x₂ = 01, 10, or 11, thus satisfiable

Next: Up: Previous: