Koniunkcyjny operator binarny
Z Wikipedii
Koniunkcyjny operator binarny to konstrukcja, która ułatwia rozumowania dotyczące składni wyrażeń logicznych. Jest to dowolne wyrażenie , które jest spełnione dokładnie wtedy, gdy zarówno p, jak i q są w pewnym ustalonym stanie. Zależnie od operatora może to oznaczać albo pozytywne albo negatywne wystąpienie.
Wyrażenie, którego główny operatorem jest koniunkcyjny operator binarny (pojedynczą negację uważa się za część wyrażenia) oznacza się α, zaś jego podwyrażenia - które muszą być jednocześnie spełnione - oznaczamy α1 i α2.
α | α1 | α1 |
---|---|---|
p | q | |
p | ||
q |