Проверив аксиомы, установить, является ли заданная алгебра с двумя бинарными операциями полукольцом или кольцом. При этом: а) для полукольца (не являющегося кольцом), проверить, является ли полукольцо коммутативным, идемпотентным, замкнутым; б) для кольца проверить, будет ли оно булевым, есть ли в нем делители нуля, является ли кольцо полем.