Ответ:

Пошаговое объяснение:

а) m /\ (p V m V s) /\ t /\ (t V q) = [(m /\ p) V (m /\ m) V (m /\ s)] /\

[(t /\ t) V (t /\ q)] = [m V (m /\ p) V (m /\ s)] /\ [t V (t /\ q)] = m /\ t

б) (d V ~a~d V a) (стрелка) ~d = ~(d V ~a~d V a V ~d) =

= ~(~d V ~a~d V d V a) = ~(~d V d V a) = ~(1 V a) = ~1 = 0