Изменения

Перейти к: навигация, поиск

Участник:Fad Oleg

2 байта добавлено, 09:06, 25 июня 2021
Теоремы о числе функций в базисе
<tex>f_0 \notin T_0, f_1 \notin T_1, f_s \notin S, f_m \notin M, f_l \notin L</tex>, где <tex> T_0, T_1, S, M, L</tex> — классы Поста.
ТогдаЗначит, так как <tex>X</tex> — безызбыточный базис, а система <tex>\{f_0, f_1, f_s, f_m, f_l \}</tex> — полная, то <tex>\left | X \right | \le 5</tex>
Рассмотрим <tex>f_0</tex>. Возможны два случая:
37
правок

Навигация