분배법칙 증명인데 더 효율적인 방법 아는 사람?

[디오게네스(118.235)]

사진

[익명(121.160)]

"(x or y)&(x or z)" => "-x or x" =>"1) -x => y&z => x or (y&z), 2) x => x or (y&z)" => "x or (y&z)"

[익명(121.160)]

"x or (y&z)" => "-x or x" => "1) -x => y&z => (y or x)&(z or x), 2) x => x&x => (x or y)&(x or z)" => "(x or y)&(x or z)"

[익명(121.160)]

적어놓고 보니 비슷한듯

[디오게네스(118.235)]

x or -x 이거 많이 쓰나보구나. 그거로 풀리는 문제 많던데 내가 봤던 교재들 답안에선 안 쓰길래 쓰면 안 되나 싶었거든. 땡큐