Výborně


Pro kontrolu označme V=vysoký, B=brýlatý, S=štíhlý, C=černooký, L=světlovlasý
podmínky pak jsou
Věra: VS + BL
Jarmila: B'(LC' + L'C)
Jiřina: CS + VC
Podmínky musí platit současně, přičemž Věra a Jarmila uhodly a Jiřina neuhodla, Proto Jiřininu podmínku musíme zahrnout v negaci.

1 = (VS + BL) B'(LC' + L'C) (CS + VC)' =
= VSB' (LC' + L'C) [C(S + V)]' =
= VSB' (LC' + L'C) [C' + (S + V)'] =
= VSB' (LC' + L'C) (C' + S'V') =
= VSB' (LC' + LC'S'V' + L'CS'V') = VSB'LC'

Profesor je tedy vysoký, štíhlý a světlovlasý; není ani brýlatý ani černooký.

Samozřejmě Petr. Zkoušeli jsme, jak jste při čtení pozorní.

Příklad: Detektiv Babočka se svými muži už dlouho sleduje podvodníka, který vyhledává své oběti v šesti kavárnách města. V zájmu nenarušení pátrání je označme A,B,C,D,E,F. Z dlouhodobých pozorování Babočka ví, že:
     - podvodník v témže dni navštíví vždy kavárnu A nebo C,
     - dále kavárnu B nebo F,
     - a také nikdy nevynechá kavárnu D nebo E,
     - nikdy však v témže dni nenavštíví současně kavárny D a B,
     - a také vždy vynechá alespoň jednu z kaváren C a F.

Úkol: Dnes ho chce Babočka chytit při činu. Od svých mužů, kteří hlídají vchody všech šesti kaváren, dostal hlášení, že podvodník už navštívil kavárny A,E,F. Babočka se najisto rozjíždí do kavárny B. Předpokládejme, že podvodník neporuší pravidelnost svých pochůzek. Babočka svého podvodníka:

     chytí

     nechytí

     není nic rozhodnuto