Logikkresonerende Systemer øving 5