https://profilbaru.com/article/Logic_in_computer_science