https://artikeldigital.com/en/Finite-valued_logic