Скачал себе. Блин, это не Рыбаченко, это реальный, без шуток, ученый. Чувствую, меня ждет множество открытий чудных...
ни один логик не сумеет аналитически доказать и объяснить, почему (x →y) = x’+y Матрицу его за ногу, да это знает любой юный и нежно-зеленый тролленок! "Если из А следует Б, то возможны следующие ситуации: А и Б истинны, А и Б ложны, А ложно - Б истинно, но невозможно, чтобы А было истинно, а Б - ложно. Ситуация "А истиннно и Б ложно" - это отрицание "или А ложно, или Б истинно". Хуле тут доказывать? Я уж не говорю, что в булевой логике определение дается именно через таблицу истинности, то есть, нужно не доказать, а просто показать.
Вот это особенно радует "С 22.05.2001 по настоящее время работаю главным специалистом на НПП «Редан» (ГНПП «Регион», Каширское ш., 13а) по разработке цифровых систем управления оборонного назначения. "
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
ни один логик не сумеет аналитически доказать и объяснить, почему (x →y) = x’+y
Матрицу его за ногу, да это знает любой юный и нежно-зеленый тролленок! "Если из А следует Б, то возможны следующие ситуации: А и Б истинны, А и Б ложны, А ложно - Б истинно, но невозможно, чтобы А было истинно, а Б - ложно. Ситуация "А истиннно и Б ложно" - это отрицание "или А ложно, или Б истинно". Хуле тут доказывать? Я уж не говорю, что в булевой логике определение дается именно через таблицу истинности, то есть, нужно не доказать, а просто показать.
no subject
"С 22.05.2001 по настоящее время работаю главным специалистом на НПП «Редан» (ГНПП «Регион», Каширское ш., 13а) по разработке цифровых систем управления оборонного назначения. "
no subject
no subject
no subject