Canonical Normal Form Conditionals (CNFC)

For Σ={a,b}: For Σ={a,b,c}:
show excerpt show excerpt
[all CNFCs] [all CNFCs]