#

logic-proposition

Here are 4 public repositories matching this topic...

borislavvp / ALE

ALE - Automata & Logic Engineering

algorithm automata-simulator logic-proposition

Updated Nov 26, 2022
C#

Komthie / Propositional-Logic

Propositional logic, also known as sentential logic and statement logic, is the branch of logic that deals

basic computer-vision logic mathematics mathematica logic-programming logic-proposition

Updated May 7, 2024

faizaaulia / SimpleParser_for_PropositionLogic-TeoriBahasa_dan_Automata

Tubes TBA 2019 - Parsing dan validasi sederhana untuk formula logika proposisi

parser lexical-analyzer tba logic-proposition teori-bahasa-automata

Updated Dec 6, 2019
Java

richardfm77 / truthtables

Truth tables of propositional logic.

haskell sintaxis-analyzer haskell-application truth-table-generator balanced-parentheses logic-proposition stack-haskell

Updated Jun 21, 2023
Haskell

Improve this page

Add a description, image, and links to the logic-proposition topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the logic-proposition topic, visit your repo's landing page and select "manage topics."