Dysjunkcyjny operator binarny

Dysjunkcyjny operator binarny – 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ę $\beta ,$ a podwyrażenia – z których przynajmniej jedno musi być spełnione – oznacza się $\beta _{1}$ i $\beta _{2}.$

$\beta$	$\beta _{1}$	$\beta _{2}$
$p\lor q$	$p$	$q$
$\neg (p\land q)$	$\neg p$	$\neg q$
$p\supset q$	$\neg p$	$q$
$p\subset q$	$p$	$\neg q$

Zobacz też

• koniunkcyjny operator binarny