Обернена неімплікація

Обернена неімплікація — це заперечення оберненої імплікації. Тобто, для будь-яких двох висловлень P та Q обернена неімплікація з P до Q є істинною тоді й лише тоді, коли істинним є заперечення імплікації з Q до P.

Визначення

Таблиця істинності виглядає таким чином:

п о р Логічні операції
Тавтологія ( $\top$ )
NAND ( $\uparrow$ ) · Обернена імплікація ( $\leftarrow$ ) · Імплікація ( $\rightarrow$ ) · OR ( $\lor$ )
Заперечення ( $\neg$ ) · XOR ( $\oplus$ ) · Еквівалентність ( $\leftrightarrow$ ) · Твердження (Цифровий буфер^[en])
NOR ( $\downarrow$ ) · Неімплікація ( $\nrightarrow$ ) · Обернена неімплікація ( $\nleftarrow$ ) · AND ( $\land$ )
Суперечність ( $\bot$ )