이 문제 뭐가 최적의 답일까요??

[크림슨(223.62)]

1.21Exercise
2번 문제 일단 풀었는데 최소 갯수를 어떻게 확인 할까요???

고수분들 부탁드립니다.

[익명(211.187)]

양조건언을 제외한 이항 연결사는 부정 기호와 함께 다른 이항 연결사를 나타낼 수 있음. P&Q는 ~(~PvQ), PvQ는 ~(~P&~Q), P->Q는 ~PvQ 이런식으로. 부정 기호는 꼭 필요하고 v,&,-> 중 하나만 골라서 모든 식을 동치로 나타낼 수 있으니 최소 두개

[크림슨(closer999)]

문제의 의도는 결합자의 종류가 아닌 사용된 개수 그 자체를 물어보는 것 같습니다 - dc App

[익명(211.187)]

ㄴ그러니까 최소 두 개 사용 가능하다고요. 님이 쓰신 답이 맞으면 그 식을 ~,v 또는 ~,-> 또는 ~,& . 최소 두 가지 결합자만으로 대치해서 사용 가능하단 의미에요. 최소 개수를 확인할 방법을 물으셔서 부정기호 외 임의에 이항연결사(양조건언 제외)로 모든 식을 대치가능 하다고 알려드릴려고 종류 보여드린거고요.

[익명(211.187)]

예를 하나 들면 님이 적으신 답에는 양조건언이 들어 갔으니 φ<->ψ를 (φ->ψ)&(ψ->φ)로 대치하신 뒤에 &을 골라서 표현하고 싶으시면 ~(φ&~ψ)&~(ψ&~φ) 대치 가능해요.