Wikipedia molinezje Online ** www.korzenie.molinezje.com **

Jakas reklama

Dysjunkcyjny operator binarny to konstrukcja, która ułatwia rozumowania dotyczące składni wyrażeń logicznych. Jest to dowolne wyrażenie $p \circ q$ , które jest spełnione dokładnie wtedy, gdy choć jedno z wyrażeń $p$ i $q$ jest w pewnym ustalonym stanie, niezależnie od stanu drugiego z nich. Zależnie od operatora może to oznaczać albo pozytywne albo negatywne wystąpienie.

Wyrażenie, którego głównym operatorem jest dysjunkcyjny operator binarny (pojedynczą negację uważa się za część wyrażenia) oznacza się $β$ , zaś podwyrażenia - z których przynajmniej jedno musi być spełnione - oznaczamy $β 1$ i $β 2$ .

$β$	$β 1$	$β 2$
$p \or q$	$p$	$q$
$\neg(p \and q)$	$\neg p$	$\neg q$
$p \supset q$	$\neg p$	$q$
$p \subset q$	$p$	$\neg q$

edytuj Zobacz też

przegląd zagadnień z zakresu matematyki,
koniunkcyjny operator binarny.