[일반] 논리학 기초 공부중인데 도출이 이거 맞음?

[익명(221.153)]

p와 ~p or q 로

q를 도출할 수 있다는데

그냥 두개를 적절한 논리 연산자로 묶어서 q를 꺼내면 되는거임?

[익명(165.229)]

p and (not p or q) = (p and not p) or (p and q) = p and q => q - dc App

[익명(220.72)]

P&(-p or q) == p&-p or p&q - dc App