Fill in "xx", "yy", "zz", "Nx", "Ny", or "Nz" in the text fields in the first line. "Nx", "Ny", or "Nz" indicate the negations of the propositions "xx", "yy", and "zz". In the first line, now there is a compound proposition ("&&" indicates conjunction, and "||" disjunction). You can evaluate the truth table of this compound proposition step by step by clicking on the buttons below. The truth values of the statement appear in the middle column.