непонятные обозначения(матлогика)

[0n0]

Тема:функции алгебры логики;

что значит запись $f(\widetilde{x^3})=(10011001)$
что значит запись $x\downarrow y$


Смотрел в учебнике Лаврова, Максимовой, но там нет списка обозначений.

[Tlalok]

второе - это стрелка Пирса, функция такая,
а первое - у Вас задана булева функция 3-х переменных, причем задана набором, который записан справа от знака равенства.

Гаврилов, Сапоженко Вам в помощь.

[arseniiv]

0n0 в сообщении #451522 писал(а):

$x\downarrow y$

Это стрелка Пирса. $x \downarrow y = \neg (x \vee y)$.

0n0 в сообщении #451522 писал(а):

$f(\widetilde{x^3})=(10011001)$

Не уверен, но она могла бы значить такое:

\begin{gather*} f(0,0,0) = 1 \\ f(0,0,1) = 0 \\ f(0,1,0) = 0 \\ f(0,1,1) = 1 \\ f(1,0,0) = 1 \\ f(1,0,1) = 0 \\ f(1,1,0) = 0 \\ f(1,1,1) = 1 \end{gather*}

-- Вс май 29, 2011 16:58:19 --

Tlalok опередил!

[zaharov]

Возьмите учебник Клини. Там все есть.

[0n0]

Вот такое обозначение
$x \sim y$

[Tlalok]

0n0 в сообщении #451948 писал(а):

Вот такое обозначение
$x \sim y$

Это назвается эквивалентность.

Я могу поверить в то, что Вы не нашли стрелку Пирса, но эквивалентность....
Возьмите учебник.