T=d ld f mf li gi cd cf cld
V=x,y,z
R=0,1,1
F=!x | !y | !z
C=fp_or(fp_or(fp_not(x),fp_not(y)), fp_not(z))

# Expected result: !(x & y & z)   hence NAND
