Logic UND mit Rueckfuehrung implemented