Обернена неімплікація
| Converse NIMPLY | |
|---|---|
 | |
| Визначення | |
| Таблиця істинності | |
| Логічний вентиль |  |
| Нормальні форми | |
| Диз'юнктивна | |
| Кон'юнктивна | |
| Алгебрична | |
| Ґратка Поста | |
| (зберігає 0) | ✗ |
| (зберігає 1) |  |
| (монотонна) | ✗ |
| (лінійна) | ✗ |
| (само-двоїста) | ✗ |
Обернена неімплікація — це заперечення оберненої імплікації. Тобто, для будь-яких двох висловлень P та Q обернена неімплікація з P до Q є істинною тоді й лише тоді, коли істинним є заперечення імплікації з Q до P.
Таблиця істинності виглядає таким чином:
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 0 |
| 1 | 1 | 0 |
