Heres what I know, I know what a tautology is, I know what it looks like from looking at a truth table. Heres what i need help with, how do i prove these are tautologies, just truth tables alone?(also how would i set these up in a truth table) or are there other methods i could use. I only got a little past using truth tables in my book so id probably feel more comfortable using those.
a) 段 ^ p -> q -> 殆
b) p V q ^ 殆 -> q
( ^ is supposed to be the upside down V)