На этом форуме отвечают на конкретные вопросы. Фраза «я не понимаю, как решать» — это не вопрос. На вопрос «как решить задачу №X» вас отошлют к материалам сайта kpolyakov.spb.ru. За бессвязный поток слов и неспособность формулировать свои мысли — бан.

Если у вас не сходится ответ на какую-то задачу, пожалуйста сразу представляйте свое «правильное» решение.
Программы "заворачивайте" в тэг [pre2]...[/pre2], при этом сохраняются все отступы и применяется моноширинный шрифт. Если у вас используется сочетание "[i]" для обозначения элемента массива или строки, ставьте пробел после открывающей скобки. Иначе система выделит все дальнейшее курсивом.

Для регистрации на форуме щелкните по ссылке «Вход-регистрация» вверху страницы. В открывшееся окошко «ник» введите свою фамилию на русском языке (например, Иванов). В окошко «пароль» введите придуманный вами пароль, состоящий из латинских букв и цифр. Поставьте галочку в окошке «зарегистрироваться, я новый участник» и нажмите кнопку «ОК».

АвторСообщение





Сообщение: 70
ссылка на сообщение  Отправлено: 08.01.19 12:36. Заголовок: Двойственность между "Исчислением базисных предикатов" и Bitwise2 Техникой


Смотри начиная "Добавлено 07.01.2019"
https://informatics-ege.blogspot.com/2018/12/emen-aem-1.html
Получаем тождество
(E(R)=>E(A)) v (E(R)=>E(M&N)) ≡ 1
этот результат является двойственным к формуле из блога
Решение уравнения ¬Z(M)⊕¬Z(N)=> ¬A*Z(M&N) ≡ 1 в технике Bitwise2
¬Z(M&N) v Z(R)*Z(M&N) v ¬A*Z(M&N) ≡ 1
¬Z(M&N) v Z(R) v ¬A ≡ 1
(A=>Z(R)) v (A=>¬Z(M&N)) ≡ 1
по Теореме 1 (Двойственность с Bitwise2)
Для истинности ∀ х : E(k)(x)=>E(m)(x), иными словами E(k)=>E(m) ≡ 1, необходимо и достаточно, чтобы множество единичных битов "k" полностью входило во множество единичных битов "m"

Для мышки страшнее кошки зверя нет. Спасибо: 0 
ПрофильЦитата Ответить
Новых ответов нет


Ответ:
1 2 3 4 5 6 7 8 9
видео с youtube.com картинка из интернета картинка с компьютера ссылка файл с компьютера русская клавиатура транслитератор  цитата  кавычки оффтопик свернутый текст

показывать это сообщение только модераторам
не делать ссылки активными
Имя, пароль:      зарегистрироваться    
Тему читают:
- участник сейчас на форуме
- участник вне форума
Все даты в формате GMT  3 час. Хитов сегодня: 499
Права: смайлы да, картинки да, шрифты нет, голосования нет
аватары да, автозамена ссылок вкл, премодерация откл, правка нет