Сколько существует целых значений А, при которых формула ¬((x < 15) ⋀ (x*(x+4) ≤ 2A)) → ((y + 3y2 > A) ⋀ (y < 7)) тождественно ложна (то есть принимает значение 0 при любых целых неотрицательных значениях переменных x и y)?

Для того чтобы формула ¬((x < 15) ⋀ (x*(x+4) ≤ 2A)) → ((y + 3y² > A) ⋀ (y < 7)) была тождественно ложной, необходимо, чтобы её левая часть была истинной, а правая часть — ложной.

1. Рассмотрим левую часть: ¬((x < 15) ⋀ (x*(x+4) ≤ 2A)).
   Эта часть будет истинной, когда (x < 15) ⋀ (x*(x+4) ≤ 2A) ложно.
   Это происходит в двух случаях:
   
   • x ≥ 15
     
   • x*(x+4) > 2A
     
     
2. Теперь рассмотрим правую часть: (y + 3y² > A) ⋀ (y < 7).
   Эта часть будет ложной, если хотя бы одно из условий ложно:
   
   • y + 3y² ≤ A<br...