Example: Base Functions & Pattern Trees inv 1 nand3 3 oai21 3 nor2 2nand2 2 Base Functions: Pattern Trees:
Example: Subject Graph and Covering nand3 3 nand2 15 =2+13 nand3 3 nand2 5 =2+3 nand2 15 =2+13 nand2 5 =2+3 inv 1 nand2 2 inv 1 inv 3=1+2 nor2 2 nand3 3oai21 3 nand2 5 =2+(2+1) nand2 8 =2+(5+1) nand3 3 nand2 13 =2+(8+3) inv 14=1+13 nand3 14 =3+(8+3)
Example: a Better Covering oai21 7 =3+(3+1) inv 1 nor2 2 nand3 3oai21 3 nand2 5 =2+(2+1) nand2 8 =2+(5+1) nand3 3 nand3 14 =3+(8+3) nand2 2 inv 3 nand3 13 =3+(7+3)