A distributive lattice a lattice where join and meet distribute:
A distributive lattice a lattice where join and meet distribute:
- a ∨ (b ∧ c) = (a ∨ b) ∧ (a ∨ c)
- a ∧ (b ∨ c) = (a ∧ b) ∨ (a ∧ c)
- Companion
- object
trait BoundedDistributiveLattice[A]
trait Heyting[A]
trait Bool[A]
class BooleanAlgebra
class BoolFromBoolRing[A]
class DualBool[A]
trait Logic[A]
trait DeMorgan[A]
class MinMaxBoundedDistributiveLattice[A]
trait GenBool[A]
class BitSetAlgebra
class SetLattice[A]
class GenBoolFromBoolRng[A]
class MinMaxLattice[A]
Value members
Inherited methods
This is the lattice with meet and join swapped
This is the lattice with meet and join swapped
- Inherited from
- Lattice