<?php

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

$p = new FirstOrderLogicProp('(a <!> b) & (b -> a)');
$p->writeLn();
$q = &$p->clone();
$q->clean();
$q->writeLn();
$p->setValues(array('a'=>'1', 'b'=>'0'));
$p->replaceWithValues();
$p->writeLn();
$p->clean();
$p->writeLn();


?>