Download the PHP package noorani-mm/math-implies without Composer
On this page you can find all versions of the php package noorani-mm/math-implies. It is possible to download/install these versions without Composer. Possible dependencies are resolved automatically.
Download noorani-mm/math-implies
More information about noorani-mm/math-implies
Files in noorani-mm/math-implies
Package math-implies
Short Description This package facilitates the solution of discrete mathematical problems.
License MIT
Informations about the package math-implies
Math Implies
This package facilitates the solution of discrete mathematical problems.
How to install
How to use
Provide your desired logical statement as the parameter to the Implies class.
From now on, you can retrieve the required outputs.
Table
It constructs a truth table by placing the column headers in the first row and sequentially adding rows to represent logical conditions.
Columns
It displays the computed logical expressions.
Rows
It returns the result of the truth table computation.
PDNF
The pdnf function returns a string representing the sum of products of the logical statement, obtained by multiplying the components of the logical expression.
Meanwhile, the pdnf property returns an array representing individual product terms of the logical expression, where each element corresponds to a specific term obtained by multiplying the components of the logical statement.
PCNF
The pcnf function returns a string representing the Product of Sums Normalized (PCNF) for a logical statement by adding its components.
Meanwhile, the pcnf property returns an array representing individual sum terms of the logical expression, with each element corresponding to a specific term obtained by adding the components of the logical statement.
minterm
The minterm function computes minterms for a logical statement, providing a summarized string representation. The minterm property returns an array of individual minterms, enhancing clarity on the logical conditions.
maxterm
The maxterm function calculates maxterms for a logical statement, presenting a concise string representation. The maxterm property returns an array of individual maxterms, contributing to a clear understanding of the logical conditions.