lukasiewicz notation