Consider the following statements related to AND-OR Search algorithm.
S1: A solution is a subtree that has a goal node at every leaf.
S2: OR nodes are analogous to the branching in a deterministic environment
S3: AND nodes are analogous to the branching in a non-deterministic environment.
Which one of the following is true referencing the above statements?
Choose the correct answer from the code given below:
1
S1- False, S2- True, S3- True
2
S1- True, S2- True, S3- True
3
S1- False, S2- True, S3- False
4
S1- True, S2- True, S3- False