ProRus да, потому что NOT на одном из входов AND это и есть суть XOR....