Luty 1945. Oficer polskiego wywiadu podający się za kapitana Abwehry Johann Jörg pracuje w tajnym ośrodku niemieckich kryptologów "Pers Z" pod okiem profesora Kunze. Pewnego dnia Kunze wysyła Jörga do zamku Czocha z tajną depeszą, w której znajdują się formuły KRZ. Jörg rozumie, że żadna z formuł nie jest tautologią i kluczem do złamania niemieckich szyfrów są kody z zer i jedynek ułożone według sprawdzania tautologii metodą skróconą. Dla każdej formuły istnieje tylko jeden kod pokazujący, że nie jest ona tautologią. Pomóż odważnemu Jörgowi złamać szyfr "ryby-miecza": sprawdź skróconą metodą, czy poniższe formuły są tautologiami. Pod każdym ze znaków (zmiennych zdaniowych i spójników) podpisz cyfrę (1 albo 0) - uzyskany kod wpisz jako odpowiedź w tym zadaniu (cyfry bez spacji). Pamiętaj: każdy uzyskany poprawny ciąg pomoże aliantom przybliżyć koniec wojny!