Hi
I found out that the 4075 (triple OR 3 inputs) was missing in the 4xxx library. So I copied and modified the 4025.