documentclass{article}
usepackage[edges]{forest}
usepackage{amsmath}
usepackage{marvosym}
begin{document}
begin{forest}
for tree={l sep+=0.5em,parent anchor=south,child
    anchor=north,fill=yellow!50,draw,dotted},
forked edges
[$begin{array}{lcc}
{}^*0 &lnot ( plor (qland r))to (plor q)land (plor r) & 1\
phantom{{}^*}1text{a} &dots& 2\
phantom{{}^*}1text{b} &dots& 4\
end{array}$
 [$begin{array}{lcc}
  2text{a} &p& ~\
  end{array}$
  [$begin{array}{lcc}
  0 &dots & 1\
  1text{a} &dots& 2\
  1text{b} &dots& 4\
  hline
  &textcolor{red}{text{Lightning,2a,5a}}&
  end{array}$,fill=yellow!77
  ]
  [$begin{array}{lcc}
  0 &dots & 1\
  1text{a} &dots& 2\
  1text{b} &dots& 4\
  hline
  &textcolor{red}{text{Lightning}}&
  end{array}$,fill=yellow
  ]
 ]
 [$begin{array}{lcc}
  2text{b} & qland r & 3\
  3text{a} & q & \
  3text{b} & r & \
  end{array}$
  [$begin{array}{lcc}
  0 &dots & 1\
  1text{a} &dots& 2\
  1text{b} &dots& 4\
  hline
  &textcolor{red}{text{Lightning}}&
  end{array}$,fill=yellow!75
  ]
  [$begin{array}{lcc}
  0 &dots & 1\
  1text{a} &dots& 2\
  1text{b} &dots& 4\
  hline
  &textcolor{red}{text{Lightning}}&
  end{array}$,fill=yellow
  ]
 ]
]
end{forest}
end{document}