Skip to content
View engazaahmed's full-sized avatar
0 followers · 1 following

Block or report engazaahmed

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. Propositional_Logic_Formula_Evaluator Propositional_Logic_Formula_Evaluator Public

    Forked from NaimAyat/Propositional_Logic_Formula_Evaluator

    From the input of a premise and a conclusion, this program will build a truth table and determine whether the corresponding biconditional is a tautology. Created by request of Professor Ravikumar (…

    C++

  2. engazaahmed engazaahmed Public

    Config files for my GitHub profile.

  3. Route-Planner Route-Planner Public

    Forked from OanaGaskey/Route-Planner

    Google maps style routing algorithm to calculate the shortest path between two points using A* search algorithm.

    Jupyter Notebook

  4. truth-table truth-table Public

    Forked from ovictoraurelio/truth-table

    A tiny project to create truth table of any expression of propositional logic.

    C++

  5. Resolution-theorem Resolution-theorem Public

    Forked from ohnarya/Resolution-theorem

    implememt simple propositional logic in java

    Java