Complexity Theory 

> with(Logic);
 

[`&and`, `&iff`, `&implies`, `&nand`, `&nor`, `¬`, `&or`, `&xor`, BooleanSimplify, Canonicalize, Contradiction, Dual, Environment, Equivalent, Export, Implies, Import, Normalize, Random, Satisfy, T...
[`&and`, `&iff`, `&implies`, `&nand`, `&nor`, `¬`, `&or`, `&xor`, BooleanSimplify, Canonicalize, Contradiction, Dual, Environment, Equivalent, Export, Implies, Import, Normalize, Random, Satisfy, T...		 (16.1)
 

> l1:=Random([p,q,r]); Export(l1);
 

`:=`(l1, `&or`(`&and`(`&and`(r, p), `¬`(q)), `&and`(`&and`(`¬`(q), `¬`(p)), `¬`(r)))) (16.2)
 

`or`(`and`(`and`(r, p), not q), not (`or`(`or`(q, p), r))) (16.2)
 

> Normalize(l1,form=CNF);
 

`&and`(`&and`(`&and`(`&and`(`&and`(`&and`(`¬`(q), `&or`(p, `¬`(q))), `&or`(`¬`(q), `¬`(r))), `&or`(r, `¬`(q))), `&or`(r, `¬`(p))), `&or`(p, `¬`(r))), `&or`(`¬`(q), `¬`(p)))
`&and`(`&and`(`&and`(`&and`(`&and`(`&and`(`¬`(q), `&or`(p, `¬`(q))), `&or`(`¬`(q), `¬`(r))), `&or`(r, `¬`(q))), `&or`(r, `¬`(p))), `&or`(p, `¬`(r))), `&or`(`¬`(q), `¬`(p)))		 (16.3)
 

> `&or`(`&or`(`&and`(`&and`(r,p),q),`&and`(`&and`(r,p),`¬`(q))),`&and`(`&and`(r,q),`¬`(p)));
 

`&or`(`&or`(`&and`(`&and`(r, p), q), `&and`(`&and`(r, p), `¬`(q))), `&and`(`&and`(r, q), `¬`(p))) (16.4)
 

> `&or`(`&or`(`&and`(`&and`(p,q),`¬`(r)),`&and`(`&and`(p,`¬`(q)),`¬`(r))),`&and`(`&and`(q,`¬`(p)),`¬`(r)));
 

`&or`(`&or`(`&and`(`&and`(p, q), `¬`(r)), `&and`(`&and`(p, `¬`(q)), `¬`(r))), `&and`(`&and`(q, `¬`(p)), `¬`(r))) (16.5)
 

> `&or`(`&and`(`&and`(r,p),`¬`(q)),`&and`(`&and`(`¬`(q),`¬`(p)),`¬`(r)));
 

`&or`(`&and`(`&and`(r, p), `¬`(q)), `&and`(`&and`(`¬`(q), `¬`(p)), `¬`(r))) (16.6)
 

>
 

>