Чи є дане висловлювання законом? (A & B) -> (~B & ~A)це логіка

AB->(~A~B)=AB+A+B=A+B, 
ab=u; ~a~b=v
u->v = u or ~v
~v=a or b
AB = A&B, A+B=A or B

Если ответ по предмету Другие предметы отсутствует или он оказался неправильным, то попробуй воспользоваться поиском других ответов во всей базе сайта.