Aplikacja na zaliczenie Logicznych Aspektów Informatyki - Koniunkcyjna postać normalna