https://123dok.com/document/zg365r7q-pengembangan-aplikasi-penentuan-kebenaran-logika-proposisi-berbasis-desktop.html