Как решить задачку на Turbo Pascal?

Question

[BiG-GiG]

Помогите пожалуйста с решением задачи в TP, пока не совсем представляю как эту операцию с множествами интегрировать в TP, вот задача:

Составить программу, с помощью которой можно доказать, что следующие утверждения верны для любых конкретных множеств A, B, C, D. Множества A, B, C, D могут иметь любой допустимый базовый тип.

Вот собственно операция которую нужно доказать: C\(A∩B)=(C\A)∪(C\B)

Answer 1

[Rsa97]

Написать свои функции, выполняющие нужные логические операции над множествами (массивами).
Написать программу, вычисляющую левую и правую части равенства.
Сравнить полученные результаты.