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

Question

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

Comments

а по-русски?

Answer 1

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