Wajsberg algebras of order $n (n\le 9)$

Knowing the applications of logical algebras in various fields, such as artificial intelligence or coding theory, in this paper, we study some properties of a special class of such algebras, namely finite Wajsberg algebras. For this purpose, we give a representation theorem for finite Wajsberg algebras and give a formula for the number of non-isomorphic Wajsberg algebras of order n; also we give the total number of finite Wajsberg algebras of order n. Since a big value of n involves a lot of computations, as examples, we present and describe all finite Wajsberg algebras of order $$n\le 9$$ .