Dysjunkcyjny operator binarny

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ę $\beta$, a podwyrażenia - z których przynajmniej jedno musi być spełnione - oznaczamy $\beta_1$ i $\beta_2$.

$\beta$	$\beta_1$	$\beta_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$

Zobacz też

• koniunkcyjny operator binarny