Polynomizing Lukasiewicz's Many-Valued Logics by Maple - Maple Application Center
Application Center Applications Polynomizing Lukasiewicz's Many-Valued Logics by Maple

Polynomizing Lukasiewicz's Many-Valued Logics by Maple

Author
: Kahtan H. Alzubaidy
Engineering software solutions from Maplesoft
This Application runs in Maple. Don't have Maple? No problem!
 Try Maple free for 15 days!
Maple Procedures are presented to express propositions and connectives of propositional Lukasiewicz's n-valued logic for n=4 in terms of certain polynomials. Evaluations and checking of tautologies are done by procedures based on Groebner’s bases.

Application Details

Publish Date: September 10, 2018
Created In: Maple 15
Language: English

More Like This

Pascal's triangle and its relationship to the Fibonacci sequence
Solving constraint satisfaction problems II: More difficult logic problems
Finding Minimal Sum for Boolean Expression
Solving the World's Hardest Sudoku
Finite Field Representations by Using Maple
Prime Implicants of Boolean Expression by Concensus method
Solving constraint satisfaction problems I: Logic problems
Introduction to Fuzzy Controllers
Logic and truth tables