Dokumen ini membahas tentang program parser untuk logika proposisional yang dikerjakan oleh kelompok mahasiswa. Program ini dibuat dengan bahasa C++ dan berjalan di Windows untuk memeriksa string input dan menghasilkan tokennya, serta validitas dari string logika yang diinputkan.