220px|мини|Венов дијаграм за У Буловој логици, логичко НИ је логичка операција чији је резултат негација логичког И (конјункција), односно резултат је нетачан само ако су оба исказа тачна.
Дефиниција НИ операција је логичка операција над две логичке вредности који даје вредност тачан ако и само ако је један од операнда нетачан. Другачије речено, резултат је нетачан само ако су оба операнда тачна.
Табела истинитости Табела истинитости за -{A}- НИ -{B}- (такође се пише као -{A}- | -{B}- или -{A}- ↑ -{B}-): УЛАЗ ИЗЛАЗ -{A}- -{B}- -{A}- НИ -{B}-0 0 10 1 11 0 11 1 0
Својства Логичко НИ нема ни једно од пет својства (очување тачности, очување нетачности, линеарност, монотоност, самодвојност) потребна за издвајање најмање једног члана скупа оператора функционалне потпуности.
Еквиваленти, елиминација и увођење Логичко НИ је еквивалентно негацији конјункције:
НИ оператор може да се изрази у било коју логичку операцију: "НЕ -{p}-" је еквивалентно "-{p}- НИ -{p}-""-{p}- И -{q}-" је еквивалентно "(-{p}- НИ -{q}-) НИ (-{p}- НИ -{q}-)""-{p}- ИЛИ -{q}-" је еквивалентно "(-{p}- НИ -{p}-) НИ (-{q}- НИ -{q}-)""-{p}- имплицира -{q}-" је еквивалентно "-{p}- НИ (q НИ -{q}-)"
Категорија:Логичке операције
de:Shefferscher Strich en:Sheffer stroke fa:ادات شفر ja:否定論理積 zh:谢费尔竖线