(not E and W) --> R or R and (not W or E)

part 1 = (not E and W) --> R

part 2 = R and (not W or E)

R E W not E not W not E and W part1 not W or E part2 Final

T T T F F F T T T T

T T F F T F T T T T

T F T T F T T F F F

T F F T T F T T T T

F T T F F F T T F T

F T F F T F T T F T

F F T T F T F F F F

F F F T T F T T F T