Disjunkcija

Iz MaFiRaWiki

Disjunkcija \lor je dvomestna logična operacija. Lahko jo izrazimo z negacijo in konjunkcijo:

p ∨ q = ¬ ((¬ p) ∧ (¬ q))

Valuacija v disjunkcije je določena s pravilom: v(p ∧ q) = max{v(p),v(q)}, vendar to že izhaja iz valuacije negacije in konjunkcije.

Pravilnostna tabela

p q pq
0 0 0
0 1 1
1 0 1
1 1 1

Glej tudi

Osebna orodja