Talk:Circuit Value Problem

Issue with the presented circuit

Hello, On this page, to illustrate the Circuit Value Problem, there is a sample circuit, that, according to the image description, is "3-input circuit that returns true when some inputs are true, but at most two".

This is mostly true, but, if you set x1 to true, x2 to true and x3 to false, then the output will be false. To explain, the first AND gate will take x1 (true) and not(x2) (false), and output will be false. The second AND gate will take not(x1) (false) and x2 (true) and the output will be false. Therefore the entries to the OR gates are all false, and the result will be false.

A better way to represent this use case would be to exclude cases where x1 = x2 AND x2 = x3 (either "full true" or "full false"). I suggest to use XOR gates, to link x1 and x2 to an XOR, x2 and x3 to another, and do an OR with the results. 194.209.16.45 (talk) 16:00, 16 October 2024 (UTC)[reply]

The article doesn't use anything about the boolean function the circuit implements. So we needn't change anything here. I'll add a note following your observation at the commons description page. - Jochen Burghardt (talk) 17:26, 16 October 2024 (UTC)[reply]

Thank you. Indeed the circuit is merely an illustration. The new description is adequate for the purpose of the article. 194.209.16.45 (talk) 06:53, 17 October 2024 (UTC)[reply]