Procedure to find propositional formula given by the tree

341 Views Asked by At

The propositional formula given by the tree:

enter image description here

  1. $\land \lor x_2 \lor x_1 \lnot x_1 \lnot x_1$
  2. $(x_2\lor x_2)\land (x_1\lor x_1)$
  3. $(\lnot x_1 \lor x_2)\land (\lnot x_1 \lor x_2)$
  4. None of these

My attempt :

I googled and I guessed this should be option $(3)\space (\lnot x_1 \lor x_2)\land (\lnot x_1 \lor x_2)$

My question is :

$x_1$ should be right child of $\lnot$ in both subtree?

Can you explain it, please?

1

There are 1 best solutions below

1
On BEST ANSWER

(Lifting my comment into an answer.)

$\neg$ is a unary operator, and hence does not have "left" and "right" children in a propositional tree. It just has a single child.