Łukasiewicz algebra