36 Game 1
- « 35 RC Passage 4
- 416 of 3815
- 36 Game 2 »
Comments

Permalink Submitted by lsat2017 on Aug 2 2016
If you combine rule 1 and 2 you get
-T -> K -> -P and P -> -K -> T
why did the starting binary template not have
K/TP | PT/K ?

Permalink Submitted by lsat2017 on Aug 8 2016
Rule 1 says K-> not P
Rule 2 says not T -> K
so combine the not T-> K -> not P.
My question was why not use the whole logic tree with place holders of K/PT On and PT/K off.

Permalink Submitted by lsat2017 on Aug 8 2016
Ah thanks for the explanation.
I thought i missed it in the lecture to NOT complicate things. Which it got when i tried to stuff things in.
I'll keep this in mind thanks Dave!