A single gate defined in Conjunctive Normal Form This might sound like a silly question but I just want to make sure I'm not getting confused.
I understand that CNF is essentially converting the logic into AND's of OR's, so for example...
~a AND (b OR c) in CNF would be (a AND b) OR (a AND c).
My question is, what would a single and gate be defined as in CNF. So for example if it had 2 inputs and 1 output, x y z . Would x AND y in CNF just be x AND y?
Thanks.

CNF stands for Conjunctive Normal Form.
A boolean expression is in CNF if it is an AND of OR expressions where every OR has nothing but literals or inverted literals as inputs. The OR expressions for CNF are commonly called clauses.
Your example:
The CNF of x AND y consists of two single-literal clauses, one is x and one is y.
