Normal Form Conditionals (NFC)

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