Ре­ше­ние. Ло­ги­че­ское "И" ис­тин­но тогда и толь­ко тогда, когда ис­тин­ны оба утвер­жде­ния.

1)  ¬(А = B) = 1, то есть А ≠ 18 = 1.

2)  ((B < A)→(2C > A)) При­ме­ним пре­об­ра­зо­ва­ние им­пли­ка­ции: (18 > A) ∨ (16 > A) = 1

3)  (A < B)→(A > 2C) При­ме­ним пре­об­ра­зо­ва­ние им­пли­ка­ции: (A > 18) ∨ (A > 16) = 1

Из 2) и 3) сле­ду­ет, что (18 > A) и (A > 16), так как в про­тив­ном слу­чае воз­ни­ка­ет про­ти­во­ре­чие А = 17.