lukasiewicz notation - German English Dictionary