Обратное упрощение
- Обратное неимпликация — логическая связка, отрицающая обратную импликацию.
- Обратное упрощение обозначается условным обозначением P ↚ Q или P ⊄ Q.
- Обратное упрощение логически эквивалентно ¬(P ← Q) и ¬P ∧ Q.
- В булевой алгебре обратное неупрощение определяется как q ↚ p = q’p.
- Обратное неупрощение является неассоциативным и некоммутативным.
- В булевой алгебре существуют левый нейтральный элемент (0 ↚ p = p) и правый поглощающий элемент (p ↚ 0 = 0).
- Вовлечение q → p является двойственным по отношению к обратному неупрощению q ↚ p.
- В информатике пример обратного неиспользования можно найти при выполнении правого внешнего соединения для набора таблиц из базы данных.
Полный текст статьи: