Data.SBV.Examples.Uninterpreted.Shannon

Boolean functions

type Ternary

type Binary

Shannon cofactors

pos

neg

Shannon expansion theorem

shannon

shannon2

Derivatives

derivative

noWiggle

Universal quantification

universal

univOK

Existential quantification

existential

existsOK