Не всюду определённые булевы функции

[Nogin Anton]

Можно как-нибудь опознать по внешнему виду формулы не всюду определённую булеву функцию??

То есть, например, есть функция f=x_1x_2x_3x_4\vee \bar{x_1}x_2x_3x_4

И известно, что она не определена на наборе переменных {0001}. Как это отразится на записи формулы f?

[chessar]

Я так понимаю, под "не всюду определенной" булевой функцией (по вашему), понимается булева функция $f(x_1,\ldots,x_n)$, у которой из ее возможных $2^n$ значений некоторые исключили. Ясное дело, что в формуле, использующей известные булевы унарные и бинарные операции, это никак не отразить, если только не договориться о каком-то стандарте записи. А так если использовать, например таблицу значений функции, или просто, строку из $2^n$ нулей и единиц, то можно на месте неопределенных значений ставить прочерк или оставлять пустым.

[Nogin Anton]

Ага. Большое спасибо!!!

[chessar]

Nogin Anton в сообщении #460809 писал(а):

Ага. Большое спасибо!!!

Всегда пожалуйста. Если не секрет, можете объяснить для каких целей вы это используете.