Negacija

Iz MaFiRaWiki

Negacija \lnot je enomestna logična operacija.

¬p preberemo: ne p.

Valuacija v negacije je določena s pravilom: v(¬p) = 1 - v(p).


Pravilnostna tabela

p ¬ p
0 1
1 0

Glej tudi

Osebna orodja