1. class
  2. Tailors
  3. \
  4. Logic
  5. \
  6. Connectives
  7. \
  8. Disjunction

Disjunction

final class Disjunction implements ConnectiveInterface

Traits

InfixNotationTrait
BinaryConnectiveTrait

Methods

int
notation()

No description

from  InfixNotationTrait
FormulaInterface
with(FormulaInterface $f1, FormulaInterface $f2, FormulaInterface ...$f)

No description

from  BinaryConnectiveTrait
int
arity()

No description

from  BinaryConnectiveTrait
string
symbol()

No description

bool
apply(bool ...$arguments)

No description

int
precedence()

No description

Details

in InfixNotationTrait at line 21
final int notation()

Return Value

int

in BinaryConnectiveTrait at line 20
FormulaInterface with(FormulaInterface $f1, FormulaInterface $f2, FormulaInterface ...$f)

Parameters

FormulaInterface $f1
FormulaInterface $f2
FormulaInterface ...$f

Return Value

FormulaInterface

in BinaryConnectiveTrait at line 28
int arity()

Return Value

int

at line 23
string symbol()

Return Value

string

at line 28
bool apply(bool ...$arguments)

Parameters

bool ...$arguments

Return Value

bool

at line 50
int precedence()

Return Value

int

See also

https://www.php.net/manual/en/language.operators.precedence.php