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


set_time_limit(30);


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


$a = &new FirstOrderLogicProp('a&b | c&(!(d&e|f)|g)');

$a->disjunctiveForm();
$a->writeLn(FALSE);

$a->conjunctiveForm();
$a->writeLn(FALSE);

?>
Return current item: First Order Logic Prop