Logika

Pri vyšetrovaní krádeže sa zistilo, že páchateľom bola jedna z osôb A, B, C. Okrem toho sa zistili nasledovné skutočnosti:
Ak bol na mieste činu A, tak tam B nebol.
V čase spáchania krádeže tam bol B alebo C.
Ak tam nebol C, tak tam bol A.
Z nasledujúcich zistení vyplňte tabuľku pravdivostných hodnôt a zistite, kto bol páchateľom.

A	B	C	B'	C'	A⇒B'	B∨C	C'⇒A	(A⇒B')∧(B∨C)∧(C'⇒A)
1	1	1
1	1	0
1	0	1
1	0	0
0	1	1
0	1	0
0	0	1
0	0	0

Keďže vieme, že páchateľ bol jediný, je zrejmé že to musel byť .