Logikkresonerende Systemer øving 6