(A&B)∨(~A∨~B)

[익명(182.224)]

이거 어케증명하죠

맞다는건 알겠는데 증명과정을 못쓰겠네

[익명(123.99)]

귀류법

[익명(223.38)]

p v q 꼴이니까 동치인 ~(~p & ~q)를 증명하기 위해 (~p & ~q)에서 모순을 이끌어내면 됨