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)));

?>
Return current item: First Order Logic Prop