Первая часть:
(A->(B^C)) == (A->B) ^ (A->!C)
(A->B) ^ (A->!C) == !((!A|B)(A|!B)(A|C)(!A|!C))
!((!A|B)(A|!B)(A|C)(!A|!C)) == !((!A ^ A + !B ^ B)(!A ^ A + !C ^ !C))
!((!A ^ A + !B ^ B)(!A ^ A + !C ^ !C)) == !(0 * !C) == 1
Вторая часть:
1 + !A ^ C == 1 при любых А и С
