Program do wyliczania logicznego typu danych

Witam,

poszukuje programu do wyliczania logicznego typu danych. fr.booleen.

A możesz rozwinąć wątek? W jakim języku, jakie wyrażenia (tylko typu boolean), jakie operacje (and, or, not)?