Четыре тождества

Есть две группы символов: А, В, С, D и W, X, Y, Z.

Составьте четыре тождества, если известно следующее:

если А не X, то С не Y;

если В есть Y или Z, то А есть X;

если C не W, B есть Z

если D есть Y, то B не X

если D не X, то B есть X.