Computer finding of four-element multiplicatively idempotent semirings

In this paper we describe a computer program for searching for all four-element multiplicatively idempotent semirings. We have established that up to the isomorphism of such semirings exactly 381, they are represented by Cayley tables of additive and multiplicative reducts. We give the necessary definitions, properties and illustrations.