i srsly regret not finding your vids sooner, my exam is the day after tomorrow :c
At about 10:30 you said you used the Domination law to remove the T. Is that not using the Identity law? p v T ≡ p
the identity law would be p ^ T = p , the connective is ^(and) not v (or)
i srsly regret not finding your vids sooner, my exam is the day after tomorrow :c