Proposition Logic Domain
l
{false, true}
(for purists)
or
{0, 1}
(more readable)
or
{
^
,
T
}
(more symmetric)
