00:01
So first let's fill in this root table in order to know whether statement is totalized or not.
00:10
So first, p or q, p or q, t or t is t, t or t is t, t or f is t, t or f is t, t or f is t, f of t is t, f of t is t, t, f of f is t, f of f is f.
00:35
So next, not r.
00:37
Just negate the value of r.
00:40
Not t is f, t, f, t, f, t.
00:51
Next, p or q, and not r.
00:51
So, t and f, t.
00:52
Next, p or q, and not r.
00:57
So, t and f is f is f, t, t, t, t, and t is t...