Describir: Autonómny algoritmus na zapisovanie a vyhodnocovanie produktovej superpozície