LogicΒΆ

logic.spad line 2021

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

/\: (%, %) -> %
from MeetSemilattice
=: (%, %) -> Boolean
from BasicType
\/: (%, %) -> %
from JoinSemilattice
_|_: %
from BoundedJoinSemilattice
~: % -> %
~(x) returns the logical complement of x.
~=: (%, %) -> Boolean
from BasicType
coerce: % -> OutputForm
from CoercibleTo OutputForm
hash: % -> SingleInteger
from SetCategory
hashUpdate!: (HashState, %) -> HashState
from SetCategory
latex: % -> String
from SetCategory
T: %
from BoundedMeetSemilattice

BasicType

BoundedDistributiveLattice

BoundedJoinSemilattice

BoundedLattice

BoundedMeetSemilattice

CoercibleTo OutputForm

DistributiveLattice

JoinSemilattice

Lattice

MeetSemilattice

SetCategory