A logikai fejtörők olyan fejtörők, amelyeket józan gondolkodással meg lehet oldani. Köztük minden korosztály talál a tudásszintjének megfelelőt, amelyekkel fejleszthetik képességeiket. Kiváló hobbit is jelenthetnek. Ezért a logikai fejtörők nagyon hasznosak is lehetnek a logikus gondolkodás képességének elsajátításában. Szakdolgozatomban az igazmondó-hazug tejtörők megoldási módszereit, illetve azok hatékonyságát mutatom be.

A vizsgált fejtörőkben több személy szerepel, melyek mindegyike az alábbi két típushoz tartozik; vagy igazmondó, aki csak igaz állításokat mond; vagy hazug, aki csak hamis állításokat mond. Mindegyikük, tudja, hogy a többiek milyen típusba tartoznak. Néhányan mondanak valamit az egyik ember csoport igazmondásáról. A kérdés az, hogy milyen embertípusba tartoznak.

A feladványokat számítógép segítségével oldom meg. Erre többféle lehetőségem van. A legegyszerűbb a Boole-táblán alapuló módszer, ennél valamivel hatékonyabb a Smullyan-féle táblán alapuló módszer, de ezek túl „gépiesek”. A harmadik a „legemberibb” a gráfelméleti megközelítésén alapuló módszer. Elkészítem a feladatok gráfreprezentációját, és megvizsgálom a szerkezetüket. Ennek használatakor élek hozzáadásával bizonyos élkombinációk jellemzése alapján jutok közelebb a megoldáshoz. Majd a gráf mátrix alakjának felírásával igazolom állításom helyességét