Os dois casais
O problema a seguir pertence ao ramo da lgica e pode ser analisado pela lgebra de Boole. Assim, o que se prope, a
criao de um circuito lgico digital que o simule e possibilite encontrar as possveis solues.
O problema:
Dois casais de amigos esto beira de um rio e querem atravess-lo. Encontram um barco que permite a travessia de
apenas dois por vez. O problema que so pessoas muito ciumentas e as moas se recusam a deixar seu par na
presena de outra moa que esteja s; da mesma forma, os rapazes se recusam a deixar suas namoradas na presena
de outro rapaz que esteja s.
Para simular este problema, teremos quatro variveis de entrada (dois casais), onde o nvel zero (0) representa uma
margem do rio e o nvel um (1), a outra margem. A sada do circuito ser expressa por um bit de alarme que vai para o
nvel alto (S = 1) diante de qualquer situao proibida (alarme).
Diante disso, construmos uma tabela da verdade que cubra todas as combinaes possveis e marcamos com um (1) as
4
sadas cujas combinaes provoquem o alarme. Para as quatro variveis (2 = 16 possibilidades):
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
CASAL 1
(H)
(M)
A
B
0
0
0
0
0
0
0
0
0
1
0
1
0
1
0
1
1
0
1
0
1
0
1
0
1
1
1
1
1
1
1
1
CASAL 2
(H)
(M)
C
D
0
0
0
1
1
0
1
1
0
0
0
1
1
0
1
1
0
0
0
1
1
0
1
1
0
0
0
1
1
0
1
1
SADA
(alarme)
S
0
0
0
0
0
0
1
0
0
1
0
0
0
0
0
0
_ _
ABCD
__
ABCD