Seiful are inscripţionat pe el un şir de <tex>2^N</tex> biţi. Pentru a-l debloca trebuie să găsiţi o expresie folosindu-vă de <tex>N</tex>variabile de tip boolean, expresie care să conţină (de oricâte ori) doar:
* aceste variabile

* operatorul <tex>^\</tex> (xor) (cu prioritate mică)

* operatorul <tex>\^\</tex> (xor) (cu prioritate mică)

* operatorul <tex>!</tex> (not) (cu prioritate mare)
* paranteze deschise şi închise (cu prioritate uriaşă)