1. interface
  2. Tailors
  3. \
  4. Logic
  5. \
  6. Connectives
  7. \
  8. BasicConnectivesInterface

BasicConnectivesInterface

interface BasicConnectivesInterface

Methods

FormulaInterface
and(FormulaInterface $f1, FormulaInterface $f2, FormulaInterface ...$f)

No description

FormulaInterface
or(FormulaInterface $f1, FormulaInterface $f2, FormulaInterface ...$f)

No description

Details