- Fill out the truth values in the table for the Tautology. Theorem 1. [(p => 9L0 => is a tautology. Apply definition to proposition to be proved. Ilp =) :P P= PAa) PAq) Ap P=93 (Aa) Ap] Ana) Breaking up the table header components gives P,9,-p-9,p^-9,- (pa-9):6-(-9))ap[e-(PA-9)Ap]a-9,-([(-(pa-9))^pha-9) Complete the truth values in the table. Plan BACA lag) MA))Ap MpAna)) Apl And Opg) 08/09)