did any of you know boolean algebra?
$<br /> #prove that this statement is a tautology <br /> [(p q) ? (q r)] (p r)<br /> <br /> &not;[(p q) ? (q r)] ? (&not;p ? r) <br /> <br /> &not;[(&not;p ? q) ? (&not;q ? r)] ? (&not;p ? r)<br /> <br /> [&not;(&not;p ? q) ? &not;(&not;q ? r)] ? (&not;p ? r) <br /> <br /> (p ? &not;q) ? (q ? &not;r) ? (&not;p ? r) <br /> <br /> (p ? &not;q) ? (q ? &not;p) ? (&not;r ? r)<br /> <br /> (p ? &not;p) ? (q ? &not;q) ? (&not;r ? r)<br /> <br /> F ? F ? T<br /> <br /> T<br /> <br />$
do i did it right?