# Thread: Simplification to a CNF statement

1. ## Simplification to a CNF statement

Hello all,

I have to simplify the following statement to an CNF statement .. but I got stuck

thanks

2. ## Re: Simplification to a CNF statement

Use a set of truth tables.

I get that it simplifies to

$(\neg x) \vee (x \wedge z)$

3. ## Re: Simplification to a CNF statement

Thanks for the answer, but I was asked not to use truth table but identities