Formális módszerekkel 3.

• elhagyott kapcsolóelemek, megtalált variánsok, megállapított tévesztések