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


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


$a = &new FirstOrderLogicProp('a <!> b');
$b = &new FirstOrderLogicProp('a <-> b');

$b->not_();
$a->iff($b);

$a->writeLn();
$a->clean();
$a->writeLn();
$a->clean();
$a->writeLn();


?>
Return current item: First Order Logic Prop