lukasiewicz notation - Spanish English Dictionary