부울 식의 실제 변수 개수를 카운트

Question

true로 설정된 변수의 양을 확인할 수있는 부울 식을 작성하려면 어떻게해야합니까? 나는 해결하려고하는 문제의 단순화 된 예를 제공 할 것이다. 실제 질문이 끝나기 때문에 대답하기 전에 전체 질문을 읽으십시오.

선언 :

3 부울 변수 : ABC

INT 예상 나는 것을 확인 할 수있는 부울 식을 작성하려면 어떻게 = 2

3 개의 부울 변수 중에서 정확히 2가 참으로 설정됩니다. problem = (a + b + c) == 2 행에있는 것 problem이 참일 경우 정확히 2 개의 부울 변수가 참으로 설정됩니다.

정확히 3 부울 변수와 우리는 그러나 IS problem = (a & b) | (b & c) | (c & a)

내 질문으로 문제를 해결할 수 = 2 예상, 우리가 해결 할 방법이 부울의 N 수를 사용하여, 문제의 단순화 된 버전입니다

변수 및 예상 변수 변수의 가변 금액 논리 연결자, 조건 자 및 한정자를 포함하는 1 차 논리을 사용합니다.

특정 언어의 실제 코드가 아니라 명제/술어 표현식을 찾고 있음을 강조하고 싶습니다.

Answer 1

당신이 false 0으로 해결한다고 가정하면

1에 true, 당신은 할 수 :

ans = ((a + b + c + ... + z) == expected)

이 a..z 부울 변수 (다른 표현 '평가에서 가능한 결과) 및 expected 있습니다

는 번호입니다 당신이 원하는 진정한 조건.