Logiikkaa toteutettu