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\vee q$	$p$	$q$
$\mathrm{\neg }(p\wedge q)$	$\mathrm{\neg }p$	$\mathrm{\neg }q$
$p\supset q$	$\mathrm{\neg }p$	$q$
$p\subset q$	$p$	$\mathrm{\neg }q$

Zobacz też

• koniunkcyjny operator binarny