Основные понятия математической логики

• Название: Основные понятия математической логики
• Дата: 16.02.2022
• Размер: 2.32 Mb.
• Имя файла: ege15.doc
• Тип: Закон; #363571
• страница: 28 из 50

( (x  9)  (xx  A) )  ( (yy  A)  (y  10) )

тождественно истинна (то есть принимает значение 1 при любых целых неотрицательных значениях переменных x и y)?

241. 
     Для какого наибольшего целого числа А формула
     

( (x  5)  (xx  A) )  ( (yy  A)  (y < 7) )

тождественно истинна (то есть принимает значение 1 при любых целых неотрицательных значениях переменных x и y)?

242. 
     Для какого наибольшего целого числа А формула
     

( (x  11)  (xx  A) )  ( (yy < A)  (y  12) )

тождественно истинна (то есть принимает значение 1 при любых целых неотрицательных значениях переменных x и y)?

243. 
     Для какого наибольшего целого числа А формула
     

( (yy  A)  (y  15) )  ( (x  3)  (xx < A) )

тождественно истинна (то есть принимает значение 1 при любых целых неотрицательных значениях переменных x и y)?

244. 
     Для какого наибольшего целого числа А формула
     

( (yy < A)  (y < 16) )  ( (x  13)  (xx < A) )

тождественно истинна (то есть принимает значение 1 при любых целых неотрицательных значениях переменных x и y)?

245. 
     Для какого наименьшего целого числа А формула