c Hello this is the first example  A x E y (x or y) 
c
c Preamble = 2 represents the number of variables and 1 represent the number cluases
p cnf 2 1 

c Quantification of variables 
a 1 0 
e 2 0 

c Cluases - 1 and 2 represents the variables x and y respectively
1 2 0