Решить 2 задачи по мат. логике

1) Построить эквивалентную формулу, используя только AND и NOT:

(NOT(A)IMPLIES B) OR C

2) Показать, что ∀n ∈ N.n(2n^(2) - 3n + 1) кратно 6, используя принцип вполне упорядочивания