example2.php at First Order Logic Prop

Location: PHPKode > scripts > First Order Logic Prop > first-order-logic-prop/examples/example2.php

<?php

require '../FirstOrderLogicProp.inc.php';

$t = new FirstOrderLogicProp('1');
$t->or_(new FirstOrderLogicProp('a'));
$t->writeLn();
var_dump($t->equals($t->fromBoolean(TRUE)));
$t->clean();
$t->writeLn();
var_dump($t->equals($t->fromBoolean(TRUE)));

?>