PHP Classes

File: examples/example6.php

Recommend this page to a friend!
  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: 20 years ago
Size: 220 bytes


Class file image Download



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