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