What happens when you read your PAL with your programmer?
Do you get an empty equation? If yes, it might be faulty, then again it might be protected - I don't have one to check.
Is the equation inconsistent between reads?
Looking at the schematics, yes the PAL looks like it's used as an address decoder. PinMAME doesn't use the PAL equation. It just has a high level implementation.