Контрольная работа по "Математической логике и теории алгоритмов"

I. Упростить формулы исчисления высказываний:
1) ((-q&-r) ~ -r)1 ~ (-r -> -q)2 = (-(-q&-r) )3&(r (-q&-r))~(-(-r) -q)4=
= ((q r) -r)5&(r (-q&-r)6)~a=
обозначим r -q=a
= (q (r -r)7&(a&(r -r)7~a= (q 1)&(a&1)~a=1&a~a=a~a=1
Для упрощения были использованы следующие формулы: