https://artikeldigital.com/en/Logic_in_Computer_Science