The formula
p T
is a conjunction whose second conjunct T is true by definition. Thus,
this formula evaluates to F if, and only if, its first conjunct
p evaluates to F. Thus, we only need to
assign T to p to ensure that the entire formula evaluates to F.
Back to Question. Next Question.