Boolean Logic in Pure Scala - 1st cut

Boolean.scala

package booleanlogic

sealed abstract class Boolean { 
  def &(other: Boolean): Boolean
  
  def |(other: Boolean): Boolean
  
  def ^(other: Boolean): Boolean

  def unary_! : Boolean
}

case object true1 extends Boolean {
  override def &(other: Boolean): Boolean = other
  
  override def |(other: Boolean): Boolean = this
  
  override def ^(other: Boolean): Boolean = !other

  override def unary_! : Boolean = false1
}
  
case object false1 extends Boolean {
  override def &(other: Boolean): Boolean = this

  override def |(other: Boolean): Boolean = other
  
  override def ^(other: Boolean): Boolean = other

  override def unary_! : Boolean = true1
}