BasicConnectivesInterface
interface BasicConnectivesInterface
interface BasicConnectivesInterface
FormulaInterface
and(FormulaInterface $f1, FormulaInterface $f2, FormulaInterface ...$f)
FormulaInterface
or(FormulaInterface $f1, FormulaInterface $f2, FormulaInterface ...$f)