Logic

logic.spad line 1892 [edit on github]

'Logic' adds 'not' operation to lattices, Implements De Morgan's laws.

/\ : (%, %) -> %

from MeetSemilattice

= : (%, %) -> Boolean

from BasicType

T : () -> %

from BoundedMeetSemilattice

\/ : (%, %) -> %

from JoinSemilattice

_|_ : () -> %

from BoundedJoinSemilattice

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

false : () -> %

false is a logical constant.

latex : % -> String

from SetCategory

true : () -> %

true is a logical constant.

~ : % -> %

~(x) returns the logical complement of x.

~= : (%, %) -> Boolean

from BasicType

BoundedLattice

BoundedJoinSemilattice

CoercibleTo(OutputForm)

BoundedMeetSemilattice

SetCategory

DistributiveLattice

Lattice

BoundedDistributiveLattice

MeetSemilattice

BasicType

JoinSemilattice