https://123dok.com/document/zgx4d7nq-persamaan-pertidaksamaan-linier-boolean-diponegoro-university-institutional-repository.html