Edge Rewrite
// HTMLRewriter · presentation

This page was redesigned at the edge.

Cloudflare fetched the original article and streamed it through HTMLRewriter to apply an entirely new visual system without rebuilding the source page.

// request.cf · coarse context

A page that knows where it met you.

Only coarse request metadata is shown. This demo does not display or persist visitor IP addresses.

Country
US
Cloudflare location
CMH
Connection
HTTP/2
Language
Not provided

Ray ID: a21e8a0f1fc470f3

Jump to content

Talk:Circuit value problem

Page contents not supported in other languages.
Add topic
From Wikipedia, the free encyclopedia
Latest comment: 1 year ago by 194.209.16.45 in topic Issue with the presented circuit

Issue with the presented circuit

[edit]

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