Login   Register  
PHP Classes
elePHPant
Icontem

File: examples/example6.php

Recommend this page to a friend!
Stumble It! Stumble It! Bookmark in del.icio.us Bookmark in del.icio.us
  Classes of naholyr  >  First Order Logic Prop  >  examples/example6.php  >  Download  
File: examples/example6.php
Role: Example script
Content type: text/plain
Description: Shows conjunctive/disjunctive forms of a proposition. You can see here that the computation time is a bit long :(
Class: First Order Logic Prop
Manipulate, analyze, and prove logic propositions
Author: By
Last change:
Date: 2003-10-07 11:01
Size: 220 bytes
 

Contents

Class file image Download
<?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);

?>