PHP code example of adt / cnf-evaluator

1. Go to this page and download the library: Download adt/cnf-evaluator library. Choose the download type require.

2. Extract the ZIP file and open the index.php.

3. Add this code to the index.php.

    
        
<?php
require_once('vendor/autoload.php');

/* Start to develop here. Best regards https://php-download.com/ */

adt / cnf-evaluator example snippets


$cnf = new CnfEvaluator();

$cnf->addCallback(function() {
		...
	}, [
		"condition1" => TRUE,
		"condition2" => TRUE,
		"condition4" => FALSE,
]);

$cnf->addCallback(function() {
		...
	}, [
		"condition1" => TRUE,
		"condition2" => TRUE,
		"condition4" => FALSE,
]);

$cnf->setRealValues([
	"condition1" => TRUE,
	"condition2" => FALSE,
	"condition3" => TRUE,
	"condition4" => FALSE,
]);

$cnf->process();