Контрольная Задание по математической логике, номер: 13015

Здесь только контрольное задание
Доказать тождества логики Буля
(a ~ b) - (a | b) = ( a v a) v (b v b)
((c ~ b) - (b v c)) v ((a ~ d) v (a - d)) = ((b v d) v (c v d)) | ((a - b) v (a - c))
Доказать клаузы логики высказываний

A, B > C => A ^ B ; B ^ C
A > (B ^ C), B D, (E > F ) > D (A ^ E ) > B > E