Logikkresonerende Systemer øving 3