Svag matchende rim for logigsynthese