TVL-Logic

Description

Implementation of three-valued logic in Pharo

Details

Source

GitHub

Dialect

pharo (65% confidence)

Stars

6

Created

Feb. 16, 2018

Updated

Feb. 8, 2025

Topics

logic object-oriented-programming oop pharo smalltalk

README excerpt

# Three-valued logic

The implementation of three-valued logic in Pharo created during the second meeting of Pharo Club.

## Example
```Smalltalk
t := TVLTrue uniqueInstance.
f := TVLFalse uniqueInstance.
u := TVLUndefined uniqueInstance.

t not. "f"
f not. "t"
u not. "u"

t & u. "u"
u & t. "u"
f & u. "f"
u & f. "f"

t | u. "t"
u | t. "t"
f | u. "u"
u | f. "u"
```