Форум » Логические выражения » Двойственность между "Исчислением базисных предикатов" и Bitwise2 Техникой » Ответить
Двойственность между "Исчислением базисных предикатов" и Bitwise2 Техникой
dbaxps: Смотри начиная "Добавлено 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
полная версия страницы