TEOREMA ELIMINASI CUT PADA SISTEM LOGIKA LBB’I DAN PERLUASANNYA - Diponegoro University | Institutional Repository (UNDIP-IR)