TPTP Reference: Whi61


@Book{Whi61,
    Author       = "Whitesitt, J.E.",
    Year         = "1961",
    Title        = "{Boolean Algebra and Its Applications}",
    Publisher    = "Addison-Wesley",
    Comment      = "TPTPRef, Chapter 2"
}