Обратное упрощение

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

Полный текст статьи:

Обратная неимпликация — Википедия