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

Converse NIMPLY
Визначення	$a\nleftarrow b$
Таблиця істинності	$(0010)$
Логічний вентиль
Нормальні форми
Диз'юнктивна	${\overline {a}}\cdot b$
Кон'юнктивна	${\overline {a}}\cdot b$
Алгебрична	$b\oplus ab$
Ґратка Поста
$P_{0}$ (зберігає 0)	✗
$P_{1}$ (зберігає 1)	Так
$M$ (монотонна)	✗
$L$ (лінійна)	✗
$S$ (само-двоїста)	✗

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

Визначення

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

$A$	$B$	$A\nleftarrow B$
0	0	0
0	1	1
1	0	0
1	1	0