h
Всем привет. Как решать эту задачу?
Size: a a a
2020 April 14
h
BM
Это булева алгебра?
h
Это булева алгебра?
да
BM
да
Использовать теорему Поста
h
Ну вот да. А что с единицей и монотонностью делать? Кажется, надо использовать последнее условие, но непонятно как
BM
Ну вот да. А что с единицей и монотонностью делать? Кажется, надо использовать последнее условие, но непонятно как
А что означает последнее условие? Типа f->g тавтология?
h
А что означает последнее условие? Типа f->g тавтология?
Ну как я понимаю импликация этих функций всегда истинна
BM
Ну как я понимаю импликация этих функций всегда истинна
То есть f никогда не истинно, когда g ложно
h
То есть f никогда не истинно, когда g ложно
Тоже это увидел, а дальше тупик
BM
Ну вот да. А что с единицей и монотонностью делать? Кажется, надо использовать последнее условие, но непонятно как
Если f - T1, то g - T1. То есть этих трех условий недостаточно, чтобы {f, g} было полной системой
h
Если f - T1, то g - T1. То есть этих трех условий недостаточно, чтобы {f, g} было полной системой
> Если f - T1, то g - T1
Почему?
Почему?
BM
> Если f - T1, то g - T1
Почему?
Почему?
А если g не T1, значит g(1) = 0
1->0 = 0
1->0 = 0
h
Это да. И правда условий не хватает, кажется
BM
Это да. И правда условий не хватает, кажется
Правильный ответ точно есть.
То есть есть полная система среди вариантов
То есть есть полная система среди вариантов
h
Правильный ответ точно есть.
То есть есть полная система среди вариантов
То есть есть полная система среди вариантов
Ну в общем случае ведь нет. А по заданию как раз надо сначала показать, что она полна и лишь тогда пример привести
BM
Ну в общем случае ведь нет. А по заданию как раз надо сначала показать, что она полна и лишь тогда пример привести
Я имею в виду среди 4х вариантов есть тот, который гарантированно описывает полный набор
BM
Я имею в виду среди 4х вариантов есть тот, который гарантированно описывает полный набор
Хотя наверно я вру
BM
Ну вот да. А что с единицей и монотонностью делать? Кажется, надо использовать последнее условие, но непонятно как
Нужно понять что дает линейная функция.
2020 April 15
0
Математики - пидоры