#

modus-ponens-absorption

Here is 1 public repository matching this topic...

goloop / trit

The trit package provides a Go implementation of three-level logic, including logical operations such as NOT, AND, OR, XOR, NAND, NOR, and XNOR.

golang and xor nand or not nor three-valued-logic xnor three-level-logic tri-state-boolean three-valued-algebra modus-ponens-absorption law-of-absorption implication-absorption

Updated Dec 2, 2024
Go

Improve this page

Add a description, image, and links to the modus-ponens-absorption 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 modus-ponens-absorption topic, visit your repo's landing page and select "manage topics."