J. K. Tampubolon and R. G. Santosa, “ESENSI DAN PROSES PEMBUKTIAN EKUIVALENSI LOGIS MENGGUNAKAN SIMBOL LINGKARAN PUTIH DAN LINGKARAN HITAM ”, Jupika:J.P.M., vol. 8, no. 1, pp. 54-63, Mar. 2025.