Дискретная математика, n-мерный куб

[.alexey]

Изучая функции алгебры логики, в качестве иллюстраций, используют n-мерный куб...
Частичная функция от n аргументов задается вектором своих значений $(a_1, a_2, ..., a_{2^n}) \in \{0,1,x\}^{2^n}$
Так вот, этот вектор является гранью n-мерного куба.

Как обычно определяется признак пересечения граней?
Правильное ли определение дано ниже?

Цитата:

Свойство “первая грань $(a_1,…,a_j,…, a_n)$ пересекается со второй гранью” $(b_1,…,b_j,…, b_n)$ если нет пар вида $a_j =0, b_j =1$ или $a_j =1, b_j =0$

[Профессор Снэйп]

.alexey в сообщении #263343 писал(а):

Правильное ли определение дано ниже?

Нет!

-- Сб ноя 28, 2009 21:52:46 --

.alexey в сообщении #263343 писал(а):

Частичная функция от n аргументов задается вектором своих значений $(a_1, a_2, ..., a_{2^n}) \in \{0,1,x\}^{2^n}$

Я нифига не понял!!! Может, кто-то что-то здесь уразумел?