Search Results: Talk:Boolean satisfiability problem/Archive01


Talk:Boolean
Jumat, 2025-01-17 11:17:13

use of Boolean operators in databases, search engines and library catalogs fit under this heading as well? There's a discussion going on at Boolean algebra...

Click to read more »
Talk:Boolean algebra
Jumat, 2026-04-17 04:22:55

mentioned that some boolean algebras are not power sets. Never mind that there are (40-year-old) classification theorems for countable boolean algebras. I would...

Click to read more »
Talk:Boolean logic
Selasa, 2024-12-24 10:16:15

Is there an official order of operations for boolean logic, like there is for standard mathematical operations? -Ravedave (talk) 23:13, 25 March 2008...

Click to read more »
Talk:List of Boolean algebra topics
Jumat, 2026-01-30 10:25:47

subsection A below, listed are articles which are missing from the List of Boolean algebra topics. They were found by looking in the categories in subsection...

Click to read more »
Talk:Boolean data type
Sabtu, 2026-01-10 00:52:38

(UTC) In Java there is also a Boolean class, to which one can cast. This page should mention something about Church Booleans. Wouter Lievens 11:26, 7 May...

Click to read more »
Talk:Balanced Boolean function
Selasa, 2024-08-06 02:23:37

Currently, the following examples are given An example of a balanced boolean function is the function that assigns a 1 to every even number and 0 to all...

Click to read more »
Talk:Boolean algebra (structure)/Archive 1
Kamis, 2023-03-02 09:11:12

article about Boolean algebra in its present form. And it omits all sorts of totally essential information to understanding what Boolean algebra is. Have...

Click to read more »
Talk:Boolean algebra/Archive 3
Senin, 2024-09-30 19:40:58

Wikipedia's treatment of Boolean algebra is a mess, as a number of people have complained about above, for the simple reason that a single Wikipedia editor...

Click to read more »
Talk:Boolean function
Sabtu, 2024-08-17 18:55:21

recommend using "+" for the field operation in GF(2), and thus for the boolean operation also known as "XOR", "NEQ", etc. This is the way that Boole originally...

Click to read more »
Talk:Boolean-valued function
Senin, 2024-01-29 11:07:40

presumption that Boolean-valued mean 0 or 1. Actually, if the range of a function is another Boolean algebra, then the function can be considered Boolean valued...

Click to read more »
Talk:Boolean flag
Senin, 2024-01-29 11:09:00

Boolean flag is indeed a term, as are Boolean and Boolean value. But this article needs multiple, reliable references showing that Boolean flag is equated...

Click to read more »
Talk:Boolean ring
Jumat, 2026-07-03 20:07:06

Boolean rings are in an important intermediate position between rings and lattices. The modern standard notation for lattices, ∧∨, minimises confusion...

Click to read more »
Talk:Boolean algebra/Archive 5
Jumat, 2026-04-17 04:22:54

term." Interesting enough, De Morgan's student, Jevons, contributed to Boolean algebra by replacing Boole's (set) difference with negation along those...

Click to read more »
Talk:Boolean algebra/Archive 2
Sabtu, 2026-01-03 05:52:20

Boolean algebra name. --Trovatore (talk) 00:50, 12 July 2010 (UTC) By now pretty much all Boolean algebra links that really should point to Boolean algebra...

Click to read more »
Talk:Boolean logic/Archive 4
Minggu, 2022-01-16 14:44:41

talk page was moved to Talk:Boolean algebra (logic). StuRat 21:46, 24 September 2007 (UTC) It is now archived here: Talk:Boolean algebra (logic)/Archive 1...

Click to read more »
Talk:Boolean algebra/Archive 4
Kamis, 2018-12-13 09:01:43

of the name, as I read Boolean algebras canonically defined, it tells us as much or more about Boolean algebra than about Boolean algebras, and might in...

Click to read more »
Talk:Boolean algebra (structure)/Archive 2
Minggu, 2011-02-13 11:06:23

subject that is sometimes referred to as Boolean algebra is Boolean logic, which might be defined as what all Boolean algebras have in common. It consists...

Click to read more »
Talk:Boolean grammar
Kamis, 2026-05-07 04:33:11

This page only references very recent papers (2002 and on), but boolean grammars and an efficient recognizer for them was described at least as early...

Click to read more »
Talk:Boolean algebra (disambiguation)/Archive 1
Kamis, 2017-07-06 12:24:29

Boolean algebra name. --Trovatore (talk) 00:50, 12 July 2010 (UTC) By now pretty much all Boolean algebra links that really should point to Boolean algebra...

Click to read more »
Talk:Complete Boolean algebra
Senin, 2025-08-25 13:51:01

complete Boolean algebra is a Boolean algebra in which every subset has a supremum. Not sure which is best--complete rewrite, or redirect to Boolean algebra...

Click to read more »
Talk:Boolean expression
Senin, 2024-01-29 11:07:52

WHAT DOES BOOLEAN EXPRESSION AND, and BOOLEAN EXPRESSION OR MEAN I added links. Timcrall (talk) 18:07, 7 February 2013 (UTC) Some programming languages...

Click to read more »
Talk:Boolean algebra (structure)/Archive 3
Senin, 2022-04-04 17:40:39

of the phrase "Boolean algebra". In the sense used in the current Boolean algebra article, "Boolean algebra" is a count noun; a Boolean algebra is an algebraic...

Click to read more »
Talk:Boolean algebra (structure)/Archive 4
Rabu, 2022-06-08 09:25:12

Elementary Boolean algebra, I went back to Boolean algebras canonically defined and worked it up into an article (a) focusing just on Boolean algebras,...

Click to read more »
Talk:Boolean algebra/Archive index
Jumat, 2026-04-17 10:03:33

based on a request from Talk:Boolean algebra. It matches the following masks: Talk:Boolean algebra/Archive <#>, Talk:Boolean algebra. This page was last...

Click to read more »
Talk:Boolean domain
Sabtu, 2024-03-09 06:40:45

originally created by Jon Awbrey, but I have rewritten it completely. The term "Boolean domain" is legitimate: I have verified that it is used in this sense in...

Click to read more »
Talk:Boolean homomorphism
Selasa, 2005-09-20 12:34:52

for expansion. Redirecting to Boolean algebra. If someone wants to write a substantial article specifically about Boolean algebra homomorphisms, be my...

Click to read more »
Talk:Boolean algebra (logic)
Selasa, 2024-12-24 10:14:56

2007 (UTC) I have archived the old content on the Boolean logic talk archive page here: Talk:Boolean algebra (logic)/Archive 1. StuRat (talk) 00:06, 26...

Click to read more »
Talk:Boolean algebra/Archive 1
Kamis, 2018-12-13 09:07:34

an introduction to Boolean algebra combining minimal prerequisites with maximal clarity. In view of the many subtopics in Boolean algebra dealing with...

Click to read more »
Talk:Boolean algebra (structure)
Sabtu, 2026-05-30 17:04:13

(UTC) I think it is typical (See for instance page 10 of "Introduction to Boolean algebras" by Paul Halmos) that in the definition of the algebra, $0$ and...

Click to read more »
Talk:Boolean valuation
Jumat, 2025-01-17 02:24:46

Perhaps this should instead target Boolean-valued model, given Wu's definition: The natural suggestion is that the diagram is a set of ordered pairs whose...

Click to read more »
Talk:Boolean algebras canonically defined
Senin, 2024-12-30 21:07:55

This is a tentative article to try out some ideas about Boolean algebras. The existing article is already very good so this one may be useful only as...

Click to read more »
Talk:Boolean-valued model
Senin, 2024-01-29 11:07:37

itself). --Trovatore 17:50, 13 November 2005 (UTC) In order to construct a Boolean valued model of set theory, we needed to start with a model V of set theory...

Click to read more »
Talk:Boolean ring/Archive 1
Jumat, 2026-07-03 20:07:05

Sirs: M.H.STONE defined a ring to be Boolean if every element is idempotent. This does not require the presence of an identity (neutral element for multiplication)...

Click to read more »
Talk:Boolean network
Senin, 2024-01-29 11:08:24

classical model to point out that the Boolean function maps a string of K Boolean state variables (B^k) onto a single Boolean state variable (B^1). Then it will...

Click to read more »
Talk:Boolean circuit
Senin, 2024-08-19 06:49:49

of what the different gates look like and a diagram of an example of a boolean circuit For my English class I have to choose a Wikipedia project to edit...

Click to read more »
Talk:Boolean algebra (basic concepts)
Senin, 2005-09-19 04:08:25

usage of the term "Boolean algebra". This is the one taught in middle school and high school to everyone, not the more complex "Boolean algebra" theory which...

Click to read more »
Talk:Boolean prime ideal theorem
Senin, 2024-01-29 11:07:37

this, showing that ultrafilter lemma-->compactness theorem-->BPI for free Boolean algebras-->BPI. But I get the feeling there ought to be a more direct proof...

Click to read more »
Talk:Boolean satisfiability problem
Minggu, 2026-06-14 10:58:41

the word "Boolean". What is the reason to write "Boolean satisfibility problem" instead of "boolean satisfiability problem"? I guess "boolean" could be...

Click to read more »
Talk:True quantified Boolean formula
Kamis, 2024-02-01 03:47:37

The example given at the beginning is somewhat unsuitable because the boolean part is already valid, and therfore true for any combination of Quantifiers...

Click to read more »
Talk:Stone's representation theorem for Boolean algebras
Sabtu, 2024-03-09 12:05:20

propositions the use of truth tables to characterise elements of finite Boolean algebras. I think of a truth table as a device to define logical operators...

Click to read more »
Talk:Boolean hierarchy
Senin, 2024-01-29 11:09:00

I do not consider "Richard Chang and Jim Kadin, The Boolean Hierarchy and the Polynomial Hierarchy: a Closer Connection" to be a reference. Which journal...

Click to read more »
Talk:Boolean satisfiability problem/Archive 1
Kamis, 2006-12-21 23:40:56

section you are replying to if necessary. Please add new archivals to Talk:Boolean satisfiability problem/Archive02. (See Wikipedia:How to archive a talk...

Click to read more »
Talk:Free Boolean algebra
Sabtu, 2024-03-09 07:41:56

Just plain Boolean algebras, with the arrows being homomorphisms. What do you mean by "non-equivalent"? Maybe this works: "A free Boolean algebra on κ...

Click to read more »
Talk:Canonical normal form
Jumat, 2025-05-16 20:13:21

i'v replaced ...a Boolean function that is composed of standard logical operators... with ...any boolean function... since any boolean function can be expressed...

Click to read more »
Talk:Boolean algebra (logic)/Archive 1
Jumat, 2023-03-10 20:36:02

This is written for those who use Boolean applications in electronics and computers, and those taking classes in Boolean logic in school. It is not intended...

Click to read more »
Talk:Complete set of Boolean operators
Minggu, 2025-03-09 23:51:34

Can someone here tell me whether the term "complete Boolean algebra" is in fact used for the concept defined in this article? In Googling the only references...

Click to read more »
Talk:Two-element Boolean algebra
Sabtu, 2024-03-09 12:43:40

uniformity in notation between articles. Either the many other articles on Boolean algebra should switch to the + . notation, or this one should switch to...

Click to read more »
Talk:Algebraic normal form
Senin, 2026-02-23 01:26:46

support for the additional proposal involving Normal form (Boolean algebra)Normal form (Boolean algebra). Klbrain (talk) 19:46, 3 April 2025 (UTC) I propose...

Click to read more »
Talk:Boolean data
Jumat, 2021-09-17 00:18:57

maybe a brain will take pity on it? Otherwise forget it - just redirect to Boolean datatype. --Metarhyme 02:36, 4 December 2005 (UTC) Should redirect. Fixing...

Click to read more »
Talk:World Trade Center controlled demolition conspiracy theories
Sabtu, 2026-07-11 05:13:26

assume a fact not in evidence, therefore falling into the category of Boolean Logic known as “Begging The Question”. "Begging the question," also known...

Click to read more »
Talk:Monadic Boolean algebra
Jumat, 2024-11-01 01:49:03

17:27, 28 October 2005 (UTC) Why not use ∧∨¬ in the signature for the boolean algebra? It would be much easier to read if the notation was consistent...

Click to read more »
Talk:Circuit minimization for Boolean functions
Selasa, 2024-12-24 19:50:15

circuit in the first place. I also added an example for a circuit using boolean logic and showed that it can be simplified to an XOR gate (the picture...

Click to read more »
Talk:Co-NP-complete
Rabu, 2024-01-31 00:59:50

This article mentions the problem of determining whether a "positive boolean formula", but doesn't explain what that means. ~ Booya Bazooka 03:32, 16...

Click to read more »
Talk:XPath
Selasa, 2025-12-23 22:22:28

article Boolean data type: begin removed text XML Path Language (XPath 2.0) and XML Query Language (XQuery 1.0) both rely on XML Schema for Boolean data...

Click to read more »
Talk:Logical matrix
Selasa, 2024-10-08 21:12:56

described here a Boolean matrix [1] [2] [3]. Granted Boolean-valued can mean over arbitrary BAs in general, but I've not really seen 'Boolean matrix' used...

Click to read more »
Talk:Short-circuit evaluation
Selasa, 2025-02-04 01:49:48

short-circuit and standard boolean operators are available. What standard boolean operator is available in C? I didn't know C has boolean operators at all, just...

Click to read more »
Talk:Boole's syllogistic
Senin, 2024-04-15 13:08:48

the proposed replacement page currently at Talk:Boolean algebra (basic concepts): "This is because Boolean logic is not a very good article. This one is...

Click to read more »
Talk:Propositional directed acyclic graph
Kamis, 2024-02-08 19:14:44

Propositional directed acyclic graph is the same as a Boolean circuit over the standard {AND, OR, NOT} basis. Boolean circuits are more general and were introduced...

Click to read more »
Talk:System F
Jumat, 2025-07-11 23:30:35

{\displaystyle \mathrm {AND} =\lambda x^{\mathsf {Boolean}}\lambda y^{\mathsf {Boolean}}{.}x\,{\mathsf {Boolean}}\,y\,\mathbf {F} } are (i) undefined notation...

Click to read more »
Talk:Cylindric algebra
Sabtu, 2024-03-09 07:06:19

same as complete Boolean algebras? No, a complete Boolean algebra is one that has arbitrary joins, while a cylindric alegbra is a Boolean algebra with operators...

Click to read more »
Talk:Prime ring
Sabtu, 2024-03-09 10:39:13

proof of every boolean ring is a prime ring Not every Boolean ring is prime, in fact most are not: Boolean rings are commutative, and the only one that's...

Click to read more »
Talk:Stone duality
Sabtu, 2024-03-09 12:07:44

for Stone duality are Boolean algebras up to any definition of ultrafilter (e.g. as a homomorphism to the two-element Boolean algebra 2), and point-set...

Click to read more »
Talk:Truthiness
Kamis, 2024-04-11 01:11:17

typed languages seem to allow using non-booleans as booleans (though this may be related to how booleans and boolean comparisons are implemented, so this...

Click to read more »
Talk:Ultrafilter lemma
Senin, 2006-07-17 13:00:50

articles: most of all Boolean prime ideal theorem, but the characterization of ultrafilters (maximal filters, prime filters) of Boolean algebras of which...

Click to read more »
Talk:Laws of Form/Archive 3
Rabu, 2026-04-01 01:20:27

The complexity of proofs in Boolean algebra is a highly technical problem, known as the Boolean satisfiability problem (SAT). To prove that "A entails...

Click to read more »
Talk:Ternary operation/Archive 1
Jumat, 2021-05-28 01:41:22

I have deleted the following external link recently added by User:Boolean hexadecimal. It links only to a diagram on a flickr page. The diagram is completely...

Click to read more »
Talk:Idempotent (ring theory)
Senin, 2026-03-02 02:29:23

incorrect: "In Boolean algebra, the main objects of study are rings in which all elements are idempotent under both addition and multiplication." Boolean Algebras...

Click to read more »
Talk:JavaScript syntax
Kamis, 2026-02-05 21:01:52

=== Boolean( !0 ) === !!1 === Boolean( 1 ) === true ); alert( !!0 === Boolean( 0 ) === !1 === Boolean( !1 ) === false ); alert( !"" === Boolean( !""...

Click to read more »
Talk:XML Schema (W3C)
Kamis, 2024-02-01 19:43:39

Schema xs:boolean data type supports both true and false Boolean values. XPath and XQuery define a set of rules for calculating the effective Boolean value...

Click to read more »
Talk:Classical logic
Sabtu, 2024-01-27 14:32:15

any boolean algebra. So why is classical logic per se two-valued? —Preceding unsigned comment added by 84.172.47.229 (talk • contribs) Because boolean algebra...

Click to read more »
Talk:Password hashing
Jumat, 2022-02-25 04:18:07

EPORTING_CAST_MEDIA_GOVERNMENT_EMPLOYEE_NEED_SECURE_REALTIME_JOHN=CURL=Boolean_SECURE_LINE_CITIZEN_USA SYSTEM_MAIN_ALERT_WHISTLEBLOWER_CRIME_COMPHENS...

Click to read more »
Talk:Combinational logic
Rabu, 2026-03-25 20:38:45

sequential circuits. Combinatorial circuits are just boolean functions and can be described using boolean logic. Sequential circuits are combinatorial circuits...

Click to read more »
Talk:Bjarni Jónsson
Kamis, 2025-09-04 02:13:04

reference to a Boolean algebras with operators paper from 1948 supposedly in the Bulletin of the Amer. Math Soc. found in their 1951 Boolean algebras with...

Click to read more »
Talk:Polyadic algebra
Jumat, 2024-05-10 13:03:19

propositional calculus in a way analagous to the relationship between Boolean algebras and Boolean logic. Shouldn't this say "predicate calculus" instead of "propositional...

Click to read more »
Talk:Conditional operator
Selasa, 2025-11-11 05:18:04

conditional operator, and possibly also Short-circuit evaluation and/or Boolean expression#Boolean operators. There doesn't seem to be enough consensus to justify...

Click to read more »
Talk:Boole's expansion theorem
Senin, 2024-01-29 11:07:39

vector of Boolean values. Jess (talk) 21:06, 14 July 2016 (UTC) Take a look at my edit. x is not a vector of Boolean values, but a Boolean-valued variable...

Click to read more »
Talk:Functional completeness
Selasa, 2025-09-30 10:21:15

gate is a Boolean operator. Allow me to break that claim into parts: (a) Fredkin gates can be wired up such that they act exactly like Boolean AND, OR,...

Click to read more »
Talk:Algebraic normal form/Archive 1
Jumat, 2026-02-20 21:51:31

thought that a good sampler would be to write out the sixteen bivariate boolean functions in ANF, but it took me a week to make a nice table of those in...

Click to read more »
Talk:Laws of classical logic
Rabu, 2009-12-02 20:07:38

unpredictable with such things. Judging from the incoming links, Boolean logic or Boolean algebra (introduction) might be good merge targets. Better the...

Click to read more »
Talk:Three-valued logic/Draft
Rabu, 2011-01-26 17:41:07

This is contrasted with the more commonly known bivalent logics (such as boolean logic) which provide only for true and false. As with bivalent logic, truth...

Click to read more »
Talk:Binary and
Selasa, 2008-09-16 07:35:50

Shouldn't this article be titled "Boolean and"? The distinction I'd like to make is that boolean operations work with truth values. Binary operations can...

Click to read more »
Talk:Schaefer's dichotomy theorem
Sabtu, 2024-03-09 11:30:32

reference to the Creignou-Hermann paper, where dichotomy result for counting boolean CSP appears first. — Preceding unsigned comment added by 193.55.176.1 (talk)...

Click to read more »
Talk:Let expression
Rabu, 2025-12-24 02:30:24

we could somehow counterfeit the Boolean type with another Boolean type that behaved like Boolean but was not Boolean. But then we would not have the rule...

Click to read more »
Talk:Leader Magazine
Sabtu, 2024-03-16 12:12:54

bris.ac.uk/theatrecollection/search/advanced_report_all?boolean_string1=&boolean1=and&boolean_string2=&ref_no=JG%2F&query_image=&collection_type=all&image_view=Yes...

Click to read more »
Talk:Semyon Kutateladze
Sabtu, 2025-01-18 01:58:21

lattices and optimization: Some of the achievements in post-Paul Cohen Boolean models, etc., are important but passeth my understanding. There is no question...

Click to read more »
Talk:Advanced Boolean Expression Language
Rabu, 2024-02-07 16:21:27

fellow Wikipedians, I have just modified one external link on Advanced Boolean Expression Language. Please take a moment to review my edit. If you have...

Click to read more »
Talk:Implicant
Selasa, 2025-06-03 22:57:28

I first encountered it, the first paragraph was "In Boolean logic, an implicant of a given Boolean function F of n variables is a product term P such that...

Click to read more »
Talk:De Morgan algebra
Selasa, 2024-07-23 17:35:47

must be spent to distinguish this De Morgan algebra from the 4-valued boolean algebra. 92.184.108.122 (talk) 07:22, 11 March 2023 (UTC) You misquoted...

Click to read more »
Talk:AC (complexity)
Jumat, 2024-01-19 18:15:45

Earlier text reads: Each class, ACi, consists of the languages recognized by Boolean circuits with unlimited-fanin AND gates and OR gates, using depth O(login)...

Click to read more »
Talk:Gap year/Archive 1
Selasa, 2022-09-13 02:10:54

What? ( Boolean operator) plus or minus ({+ or -}) Seriously... What?? Google Boolean search. & Wear a mask. All the sheep do it. € £ $ BLM Etc. Run “*”...

Click to read more »
Talk:Z1 (computer)
Minggu, 2024-01-28 21:36:15

computer in the world which used Boolean logic", while the Design section states it used floating-point logic as "the Boolean logic unit was not realized"...

Click to read more »
Talk:Lindenbaum–Tarski algebra
Senin, 2024-02-05 13:12:48

for example, a&b, b&a are distinct formulas, the formulas do not form a Boolean Algebra. Perhaps the author had something else in mind? — Preceding unsigned...

Click to read more »
Talk:Decision tree model
Rabu, 2024-01-31 22:43:41

there is a significant difference in the expressiveness and complexity of boolean decision trees, comparison trees, and 4-linear decision trees, each of...

Click to read more »
Talk:Succinct game
Sabtu, 2024-02-10 03:01:38

complexity results for circuit games (which are also sometimes called boolean games - Harrenstein et al. 2001). I've already changed the complexity of...

Click to read more »
Talk:Minimal model (set theory)
Senin, 2025-12-15 13:34:30

The Boolean (talk) 04:37, 8 December 2025 (UTC) I decided to put this in (although I wasn't logged in), but I'm still uncertain about it. The Boolean (talk)...

Click to read more »
Talk:NK model
Kamis, 2024-02-01 07:45:53

20:53, 4 June 2011 (UTC) Let me suggest that this article be merged with Boolean_network. Also, if someone's working on this, perhaps more general information...

Click to read more »
Talk:Coons patch
Selasa, 2024-04-02 06:50:51

another. He was a scholar in brevity. The use of the 'C' operator | for Boolean sum is forced because I failed to find the circumscribed + in the symbols...

Click to read more »
Talk:Reed–Muller expansion
Senin, 2026-02-23 01:17:56

is not philosophy. It is hard science. It is about taking complicated boolean expressions and finding simple equivalent ones. Traditionally, its most...

Click to read more »
Talk:Field of sets
Sabtu, 2024-03-09 07:28:30

statements Every finite Boolean algebra can be represented as a whole power set - the power set of its set of atoms; each element of the Boolean algebra corresponds...

Click to read more »
Talk:Secular icon
Jumat, 2025-02-14 23:26:40

statement "it represents no specific object" would be wrong. Greetings, Boolean hexadecimal (talk) 19:55, 18 April 2009 (UTC) This is incorrect; the symbol...

Click to read more »
Talk:Algebra of sets
Rabu, 2024-01-24 07:56:30

chimerical, your 'algebra' is not precisely a Boolean algebra; the subsets of a given set X would give a Boolean algebra. I think this kind of placing would...

Click to read more »
Talk:Abstract algebraic logic
Senin, 2024-01-22 13:52:29

McColl groped towards this connection, but he was poorly informed about Boolean algebra; he stumbled on sentential logic while investigating a problem...

Click to read more »
Talk:Material conditional
Selasa, 2026-06-23 07:50:15

student can derive from laws of Boolean logic), because a propositional calculus is not necessarily classical/Boolean. There is no such thing as the propositional...

Click to read more »
Talk:Metasyntax
Jumat, 2024-01-12 06:17:38

called non terminals in BNF are rules in these languages. A rule is a boolean function returning success or failure. A syntax rule is a test as are strings...

Click to read more »
Talk:Relation algebra
Sabtu, 2024-03-09 11:05:20

(UTC) I second the motion. If we have to use parenthesis to represent boolean negation as in -x=(x), how do we use parenthesis normally in an equation...

Click to read more »
Talk:Specification pattern
Jumat, 2024-02-02 22:49:01

"pattern" just a way to do Boolean logic with a few pages of new classes and code? Cause, yeah--I've been stringing together Boolean values with logical operators...

Click to read more »
Talk:Digital electronics/Archive 1
Sabtu, 2025-11-22 21:00:34

alternative to Boolean algebra for implementing digital logicdigital logic? Though Boolean algebra is so dominant that, for many, Boolean logicBoolean logic ≡...

Click to read more »
Talk:Propositional function
Sabtu, 2024-03-09 10:55:13

'propositional function', fails to mention Predicate (mathematical logic), Boolean-valued function, Formula (logic) or Sentence (logic). How does a propositional...

Click to read more »
Talk:George Boole/Archive 1
Selasa, 2025-12-16 22:21:11

heard that either Shannon's adviser or one of his teachers not only knew Boolean logic, but in fact would have studied with Boole himself, or something...

Click to read more »
Talk:Mereology/Archive 1
Senin, 2024-04-22 04:11:28

(UTC) Since Boolean algebra is now a disambiguation page, between Boolean algebra (structure) for the count-noun sense of the word and Boolean algebra (logic)...

Click to read more »
Talk:Decoder
Selasa, 2025-12-02 22:58:35

We can do binary addition ,subtraction.And we can realise any kind of boolean function by using decoder Lingaraj Asundi (talk) 18:36, 17 September 2015...

Click to read more »
Talk:Switching circuit theory
Sabtu, 2024-02-10 04:56:02

Using Boolean Algebra to study switching requires establishing an analogy between circuit state and logic level. Logic level 1 and 0 could for instance...

Click to read more »
Talk:Kleene algebra
Sabtu, 2024-03-09 08:42:31

constants 0 and 1. I guess it can be seen as a generalized boolean algebra, because it's almost a boolean ring. What other notion is there? AxelBoldt 04:56 Dec...

Click to read more »
Talk:Binary decision diagram
Minggu, 2025-08-17 20:31:45

represent a Boolean function. I don't understand why the lead is mentioning NNF and PDAG here. Yes, they are other representations of Boolean functions...

Click to read more »
Talk:Pascal (programming language)/Archive 2
Senin, 2026-07-13 19:29:47

isPregnant: Boolean of true: (DateDue:TSystemTime); false: (isPlanningPregnancy: Boolean); End {isPregnant Case}; male: (hasVasectomy : Boolean); End {Sex...

Click to read more »
Talk:Bent function
Senin, 2024-01-15 06:25:45

{\displaystyle ~\oplus ~} ? Mate2code (talk) 18:32, 2 August 2011 (UTC) Boolean functions written in algebraic normal form use + for XOR, since it corresponds...

Click to read more »
Talk:♯P-complete
Rabu, 2025-07-23 08:14:43

problems. Take for instance, satisfiability in Boolean rings. The decision problem to know whether a Boolean ring term t is satisfiable (i.e., whether it...

Click to read more »
Talk:Union-closed sets conjecture
Rabu, 2025-01-29 20:17:22

strict minority for non-Boolean lattices. The confusion may stem from the later "Moreover, equality holds if and only if L is Boolean.", but this is part...

Click to read more »
Talk:Full-text search
Selasa, 2024-08-27 00:23:09

(it isn't). Explain that search engines use varying methods to express boolean operators, etc. Incorporate modern information; Alta Vista? All popular...

Click to read more »
Talk:Entitative graph
Minggu, 2025-06-08 11:18:38

intuitive guess is that Pierce stumbled over the distinctions between "boolean-logic or", "exclusive or", and "menu choices" (pick this or this or this)...

Click to read more »
Talk:Ordinal data type
Sabtu, 2024-02-17 11:53:18

re-interpreted as integer. But so are the character, boolean and pointer types. Of these only boolean is truly an enumerated type (but often defined with...

Click to read more »
Talk:List of Java keywords
Jumat, 2026-01-30 10:33:05

Technically, true and false are boolean literals, and null is the null literal. http://java.sun.com/docs/books/jls/second_edition/html/lexical.doc.html#229308...

Click to read more »
Talk:D Battery Royal Horse Artillery
Selasa, 2024-02-13 15:57:12

located Major Eustace. I will be adding a lengthy URL, which contains the boolean search criteria. I do envisage some fool "improving" the article" by stripping...

Click to read more »
Talk:Schwartz–Zippel lemma
Senin, 2026-01-05 00:58:54

(talk) 19:40, 5 July 2008 (UTC) A binary decision diagram is used to encode boolean formulas, not arithmetic polynomials. The correct data structure should...

Click to read more »
Talk:C99
Jumat, 2024-03-29 07:05:52

cited text was removed from the Boolean data type article. Unfortunately, even with _Bool C doesn't make much use of a Boolean type; for example, relational...

Click to read more »
Talk:Null (SQL)/Archive 1
Rabu, 2023-12-20 10:54:15

the boolean data type, it specifically states that Null boolean values will be treated as False. For any vendor that actually implemented the boolean data...

Click to read more »
Talk:Structured program theorem
Rabu, 2025-09-03 06:41:28

statements according to the value of a boolean expression (selection). Repeatedly executing a statement as long as a boolean expression is true (iteration)....

Click to read more »
Talk:Linear subspace
Kamis, 2025-03-27 18:06:08

as negation (¬), makes the lattice of subspaces a (possibly infinite) Boolean algebra." However, it's not: distributivity fails. That is, the lattices...

Click to read more »
Talk:Forcing (mathematics)
Selasa, 2025-06-10 14:10:39

syntactical and Boolean value of formula evaluated by names. Relation between traditional and Boolean valued forcing is: The Boolean valued forcing can...

Click to read more »
Talk:EGL (programming language)
Rabu, 2024-01-17 07:09:47

see the following example function addEmployee(emp Employee in) returns (boolean) try add remp; return (true); onException (ex AnyException) return (false);...

Click to read more »
Talk:Bivalent
Jumat, 2024-10-04 18:36:41

now-nonexistent articles. Was that correct? Pv2b 02:04, 6 July 2006 (UTC) Isn't this just another name for Boolean logic ? Valrith 11:32, 12 December 2006 (UTC)...

Click to read more »
Talk:Commonwealth v Griffith (MA 1823)
Kamis, 2026-04-16 23:23:08

external links section, if you have external links. Here is an article on writing your first article. Boolean lint (talk) 14:00, 12 November 2015 (UTC)...

Click to read more »
Talk:Satisfiability
Jumat, 2024-02-09 10:22:49

into "Boolean satisfiability problem" by making it the introduction. I would object strongly to that. This should be the main article, and boolean satisfiability...

Click to read more »
Talk:Quine–McCluskey algorithm
Kamis, 2025-10-02 11:28:22

used. This algorithm uses a deterministic approach to simplification of boolean expressions. Thus, following the steps of this alternate algorithm ensures...

Click to read more »
Talk:Epsilon cell
Senin, 2025-06-23 18:50:51

display "Lua error in Module:Citation/CS1/Configuration at line 2123: attempt to index a boolean value." Alfa-ketosav (talk) 11:46, 23 June 2025 (UTC)...

Click to read more »
Talk:Simon Sinas
Senin, 2025-01-27 02:26:41

self-perception as bibliography describes his life. Thus, I've contextualized the Boolean argument about his ethnicity with the sentence: Regardless of his ethnic...

Click to read more »
Talk:Circuit complexity
Jumat, 2025-05-23 16:29:07

I thought this started with Shannon's theorem that a random Boolean function on n variables takes O(2^n) gates. 66.127.54.226 (talk) 18:14, 21 September...

Click to read more »
Talk:Programmable logic device
Jumat, 2024-09-20 22:47:27

(talk) 15:08, 6 April 2010 (UTC) Theoretically, there are 2^m possible Boolean functions of these m signals, but the structure of the ROM allows just...

Click to read more »
Talk:Principle of bivalence
Sabtu, 2024-02-24 06:28:09

complete Boolean algebra is a good model (presumably as in model theory) for classical logic. Bell et al. on the other hand say that "Boolean valued logic...

Click to read more »
Talk:JH (hash function)
Minggu, 2024-07-28 21:39:42

algorithm implementation technique where computations are expressed on boolean variables, so it is possible to run as many instances of the algorithm...

Click to read more »
Talk:Zeroth-order logic
Kamis, 2026-01-08 12:56:44

It might be considered to merge the useful content with the article of Boolean logic. 84.41.232.121 I believe the naming of the logical operators should...

Click to read more »
Talk:Algebraic semantics (mathematical logic)
Rabu, 2024-01-24 07:58:49

Algebraic semantics (mathematical logic) refers to using (usually variants of Boolean) algebras as semantics for formal logics. Felix QW (talk) 20:31, 19 January...

Click to read more »
Talk:Complex programmable logic device
Selasa, 2024-02-13 09:14:41

disjunctive normal form. While disjunctive normal form is a boolean sum (or) of a boolean product (and), I would not consider them synonymous; rather...

Click to read more »
Talk:Boolean model of information retrieval
Senin, 2024-01-29 11:08:21

...

Click to read more »
Talk:N
Selasa, 2026-06-16 09:33:39

November 2020 (UTC) Should symbols that look like a n be included? In Boolean logic/algebra there is a symbol that looks like a upside down U. Include...

Click to read more »
Talk:Skew lattice
Jumat, 2025-07-18 06:20:59

--João Pita Costa (talk) 12:31, 30 August 2010 (UTC) In section "Skew Boolean algebras", the operators ʌ and v have changed places, in (S,v,ʌ), w.r.t...

Click to read more »
Talk:Logical connective
Jumat, 2025-04-25 22:18:16

Frost: But is not a comparator that which takes two arguments and gives a boolean? Therefore, can a logical operator not be thought of as a kind of comparator...

Click to read more »
Talk:Searching
Kamis, 2026-03-26 00:00:32

2004 (UTC) south african rapper Rhayzet (talk) 22:53, 7 July 2018 (UTC) "Boolean Search" is listed under "Search Algorithms." However, it refers to a method...

Click to read more »
Talk:Logical NOR
Senin, 2024-02-05 20:29:25

corrected argument would be an explicit construction of all 16 binary boolean functions as expressions using only "nor". Of course it would suffice to...

Click to read more »
Talk:Koninkrijksdag
Jumat, 2024-02-16 15:22:52

December)". The phrase "If a Sunday" requires "a Sunday" to have an obvious Boolean interpretation; I think the intended interpretation is "15 December of...

Click to read more »
Talk:Star-free language
Jumat, 2024-02-02 02:12:38

completely rewritten. Mdernst (talk) 19:27, 19 October 2011 (UTC) "All Boolean operators" refers to union, intersection and complement. You can see this...

Click to read more »
Talk:Second-order propositional logic
Sabtu, 2024-03-09 11:33:27

17:29, 28 May 2010 (UTC) http://en.wikipedia.org/wiki/True_quantified_Boolean_formula — Preceding unsigned comment added by Ancmin (talk • contribs)...

Click to read more »
Talk:Topos/Archive 1
Minggu, 2026-07-12 07:58:29

connection by treating them under the one heading. The Boolean algebra (structure) and Boolean algebra (logic) articles have a more immediately obvious...

Click to read more »
Talk:♯P
Jumat, 2025-02-21 19:44:43

a boolean formula is the canonical member of #PSpace. It turns out that the answer is equal to the number of satisfying assignments of the boolean formula...

Click to read more »
Talk:Heyting algebra
Rabu, 2026-07-29 21:04:19

(UTC) This definition looks identical to that of the concepf of Boolean algebra: a Boolean algebra is a complemented distributive lattice, provided one includes...

Click to read more »
Talk:Arity
Senin, 2026-02-09 06:48:06

ambiguous than "binary", ... as illustrated by the term dyadic Boolean operator where boolean can be safely replaced by binary, but replacing dyadic by binary...

Click to read more »
Talk:Flag (programming)
Sabtu, 2024-06-29 05:48:55

nothing specific in the context of programming generally. A flag might be a boolean value or it might be some other type of data such as a character. The term...

Click to read more »
Talk:Quine (computing)/Nontrivial IO-free quine
Sabtu, 2026-01-03 08:40:04

booleans is the term representation (structural descriptive name, quotation) of K {\displaystyle \mathbf {K} } (if we use a “binary tree of booleans”...

Click to read more »
Talk:Joyce Grenfell
Rabu, 2025-01-15 00:34:53

bris.ac.uk/theatrecollection/search/advanced_report_all?boolean_string1=&boolean1=and&boolean_string2=&ref_no=JG%2F&query_image=&collection_type=all&image_view=Yes...

Click to read more »
Talk:Business rule
Senin, 2024-01-29 22:51:43

the Business Rules Group paper) only one of them seems necessarily to be boolean in nature. As far as I know, "definitions of business terms" do not "resolve"...

Click to read more »
Talk:Don't-care term
Sabtu, 2025-08-09 23:40:26

Quine–McCluskey algorithm, which both require boolean inputs and outputs. More complex functions are usually split into boolean functions bit by bit, like in the...

Click to read more »
Talk:De Morgan's laws/Archive 1
Selasa, 2025-02-18 19:24:16

in set theory and Boolean algebra, in one expression, need to be rewritten, as what is currently there is illegal syntax for Boolean algebra. -- User:Whole...

Click to read more »
Talk:Ada (programming language)/Archive 2
Sabtu, 2022-04-16 21:26:16

enumerated types, including Boolean. Boolean operators and, or, xor, and not are defined on Boolean and any declared subtype. The Boolean operators also apply...

Click to read more »
Talk:MPEG transport stream
Senin, 2026-02-09 23:34:09

TsData(183) As Byte End Type Dim Flags1() As Byte Dim TEI As Boolean Dim PUSI As Boolean Dim TP As Boolean Dim PID As Integer Dim Flags2 As Byte Dim Scrambling...

Click to read more »
Talk:Bernard Leach
Senin, 2026-04-27 06:55:22

ce+collection&field=description&oper=or&words2=&field2=collection&mode=boolean&CSC=1&submit.x=14&submit.y=14 Added {{dead link}} tag to http://www.vads...

Click to read more »
Talk:Cook–Levin theorem
Rabu, 2024-01-31 07:13:21

proof in this article differs from the one given by Garey and Johnson. My Boolean expression B contains the disjunction of the possible transitions for a...

Click to read more »
Talk:Many-valued logic
Selasa, 2024-02-06 03:58:47

the presented logics satisfy the laws of Boolean algebra? Jochen Burghardt (talk) 10:04, 3 May 2013 (UTC) Boolean algebra is an algebraic structure, not...

Click to read more »
Talk:Jordan–Wigner transformation
Rabu, 2026-03-11 16:08:05

(UTC) This article makes it sound like this transformation only applies to boolean / "spin" operators, like those from the Ising model; but doesn't exactly...

Click to read more »
Talk:K–Ar dating
Rabu, 2024-01-10 22:34:57

High (USA) algebra is acquainted with simple Boolean logic which includes most readers of Wikipedia. Boolean logic extends far beyond and existed long before...

Click to read more »
Talk:Boolean operations in computer-aided design
Sabtu, 2025-02-22 22:37:52

...

Click to read more »
Talk:Central Police Station (St. Joseph, Missouri)
Selasa, 2024-01-30 11:29:54

%20joseph;rgn1=umcscsanic_all;size=20;c=umcscsanic;lasttype=boolean;view=entry;lastview=thumbnail;subview=detail;cc=umcscsanic;entryid=x-sanborn4929...

Click to read more »
Talk:Representation theory/Old
Minggu, 2008-09-21 06:15:06

disambiguation, distinguishing between group representation and representation of Boolean algebras. I think that the term "representation theory" is overwhelmingly...

Click to read more »
Talk:Null (SQL)
Senin, 2024-01-08 20:07:52

November 2012 (UTC) The catch is that in implementations which distinguish boolean NULL from Unknown, like in that of Microsoft, an expression like TRUE OR...

Click to read more »
Talk:Functional analysis
Selasa, 2024-05-28 03:18:08

choice, although the strictly weaker Boolean prime ideal theorem suffices." It does not make sense since if the Boolean prime ideal theorem suffices, it suffices...

Click to read more »
Talk:General frame
Sabtu, 2024-06-01 04:33:34

subsets of F {\displaystyle F} that is closed under the following: the Boolean operations of (binary) intersection, union, and complement, Based on my...

Click to read more »
Talk:Linearity
Selasa, 2024-04-23 22:51:53

Linear feedback shift register brought it to my attention that Linear#Boolean functions has no citation. A "linear" function on Z/2Z could mean linear...

Click to read more »
Talk:Euclidean vector
Sabtu, 2024-03-09 07:26:46

algebra. Section 5 on Boolean algebras (necessarily plural to avoid confusion) initially ignores the axioms and begins with concrete Boolean algebras (a) because...

Click to read more »
Talk:List of long mathematical proofs
Senin, 2024-01-29 16:41:02

The statement "2016 Solving boolean Pythagorean triples problem required generation of 200 terabytes of data." is not correct: the 200 TB is not data...

Click to read more »
Talk:Criticism of the C programming language
Sabtu, 2023-02-04 14:51:01

languages that don't have it. "a_boolean ? 0 : 1" and "an_integer != 0" are both IMHO clearer than using a_boolean directly as an integer or conversely...

Click to read more »
Talk:Compactness theorem
Sabtu, 2024-03-09 06:48:54

theorem every Boolean algebra is isomorphic to a compact topological field U of sets of ultrafilters. This holds in particular for the Boolean algebra A of...

Click to read more »
Talk:Four-valued logic
Kamis, 2024-10-31 02:37:10

itself. Was it noticed that the "four-valued logic" is nothing but the Boolean algebra P({N,B}), with T={N,B} and F the empty set? (& is the intersection...

Click to read more »
Talk:Stencil buffer
Rabu, 2024-01-31 01:06:52

below. 174.62.79.67 (talk) 07:10, 8 July 2013 (UTC) @above: If it's just a boolean then why waste an entire byte/pixel? If you do not already know what it...

Click to read more »
Talk:NWScript
Sabtu, 2025-08-16 16:51:13

March 2009 (UTC) Booleans are not a datatype in NWScript. TRUE and FALSE are int constants. NWScript implicitly converts ints to booleans, with > 0 == TRUE...

Click to read more »
Talk:C (programming language)/Archive 11
Rabu, 2024-10-02 00:25:21

use C's typedef facility to define a Boolean type (which may be named Boolean, boolean, bool, etc.). The Boolean type may be just an alias for a numeric...

Click to read more »
Talk:Aquad
Kamis, 2024-01-25 15:50:13

Presentation of data 3.2 Situation of data 3.3 Comparison of cases/files by Boolean analysis 4 Versions I think that softwares - as proprietary as free ones...

Click to read more »
Talk:Fallacy of exclusive premises
Rabu, 2024-01-31 05:55:58

fishes are not whales," is an E proposition without existential import in Boolean logic.--478jjjz (talk) 22:23, 14 February 2010 (UTC) This is still confusing...

Click to read more »
Talk:Ivor Catt
Selasa, 2025-07-08 12:14:18

possible functions of two Boolean inputs for which A op B is the same as B op A. Catt calls this "symmetric", and complains that Boolean algebra deals with "and"...

Click to read more »
Talk:OfferUp
Kamis, 2025-04-03 10:11:48

(talk) 21:19, 31 March 2019 (UTC) Poor search functions: →Very primitive Boolean function..., and the Wiki page look like it was write by public relationship...

Click to read more »
Talk:SQL/to do
Sabtu, 2012-11-10 22:33:47

CTE's and recursive subqueries (partially done) Add discussion of why no Boolean data type Add intro to tables, rows, columns, and cursors Add short introduction...

Click to read more »
Talk:Category of relations
Selasa, 2024-01-30 09:21:55

is equivalent to the category of finite-dimensional matrices over the boolean semiring. A lot of observations in this article are more intuitive in this...

Click to read more »
Talk:Laws of Form/Archive 1
Rabu, 2026-04-01 01:19:37

2 element Boolean algebra (2) and of the truth functors of elementary logic. The formalism should be extendable to arbitrary finite Boolean algebras and...

Click to read more »
Talk:Inverter (logic gate)
Sabtu, 2024-03-09 08:31:20

implement Boolean logic operations in a circuit", or "a physical device, typically electronic, which computes a Boolean logical output (0 or 1) from Boolean input...

Click to read more »
Talk:Intransitivity
Sabtu, 2024-03-09 08:31:56

error. According to the definition of "nontransitive" the four-element Boolean algebra {0,1,a,b} is nontransitive. Since there exists x and z that aren't...

Click to read more »
Talk:Sheffer stroke
Jumat, 2025-11-14 00:02:50

are a few reason to support the move. Support why should one particular boolean operation be listed under the name of the symbol that is used to indicate...

Click to read more »
Talk:Ultraproduct
Sabtu, 2024-03-09 12:43:49

it's not an ultrafilter on the Boolean algebra of all subsets of the naturals. It's an ultrafilter on a different Boolean algebra; namely, all finite and...

Click to read more »
Talk:Solid modeling
Kamis, 2024-02-01 13:03:54

Parametric feature based modeler Change state Transmigration operation Euler boolean operation all try to explain some (I guess very basic?) capabilities of...

Click to read more »
Talk:Maximum satisfiability problem
Selasa, 2024-02-06 07:07:58

to deserve a sole page by itself. This problem is discussed briefly on boolean satisfiability problem, but more can certainly be said about it. However...

Click to read more »
Talk:Magnetic Drum Digital Differential Analyzer
Senin, 2024-01-29 16:50:38

computer to utilize a two-current system, making it the first machine to use Boolean logic in its circuit design.[1] This made it the first "fully digital"...

Click to read more »
Talk:Natural proof
Sabtu, 2024-03-09 09:46:13

in (quasi-)polynomial time when the 2^n-sized truth-table of an n-input Boolean function is given as input, asymptotically as n increases. This is the...

Click to read more »
Talk:Index of logic articles
Kamis, 2025-06-12 13:31:38

which should be removed/categorized. Strict logic -- Laws of logic -- Boolean algebra (logic) -- Reductio ad absurdum -- Inference procedure -- Law of...

Click to read more »
Talk:Margaret Keyes
Sabtu, 2026-05-30 09:47:34

DATABASE=ddmall&SEARCH_TYPE=BOOLEAN&ISEARCH_TERM=31mcMilC to http://www.chmtl.indiana.edu/cgi-bin/chmtl/isearchddm?DATABASE=ddmall&SEARCH_TYPE=BOOLEAN&ISEARCH_TERM=31mcMilC...

Click to read more »
Talk:BQP
Minggu, 2026-08-02 00:08:19

link attached is for Boolean gates complexity class which is a totally different thing. How can we compare the number of Boolean gates to the number of...

Click to read more »
Talk:Return type
Jumat, 2024-02-02 15:47:25

control flow statement that allows code to be executed once based on a given Boolean condition. Note though that unlike most languages, Fortran's do loop is...

Click to read more »
Talk:Double negation
Kamis, 2024-02-01 08:59:29

A much simpler version comes directly out of "Boolean logic" (propositional calculus composed in Boolean algebra -- you can see this from Venn diagrams...

Click to read more »
Talk:Map of lattices
Sabtu, 2025-09-20 09:13:32

example "power set with inclusion" is not in the map. The general category "boolean algebra" is. Ceroklis 18:04, 27 September 2007 (UTC) I've added some more...

Click to read more »
Talk:Modular arithmetic
Kamis, 2026-06-25 19:13:06

is also an equation. Similarly the equivalence of boolean propositional expressions is part of boolean equations, where the unknown is the truth value of...

Click to read more »
Talk:Circuit value problem
Senin, 2025-11-10 10:15:55

16:00, 16 October 2024 (UTC) The article doesn't use anything about the boolean function the circuit implements. So we needn't change anything here. I'll...

Click to read more »
Talk:A Symbolic Analysis of Relay and Switching Circuits
Senin, 2025-08-18 00:06:52

master's thesis, "A Symbolic Analysis of Relay and Switching Circuits," used Boolean algebra--in which problems are solved by manipulating two symbols, 1 and...

Click to read more »
Talk:Python (programming language)/Archive 7
Minggu, 2022-05-08 03:37:24

arithmetic expressions as 1 and 0. Boolean operators and Boolean built-in types always return one of the Boolean values True and False except for the...

Click to read more »
Talk:Resistor–transistor logic
Minggu, 2024-02-04 03:19:32

referenced. Although any Boolean gate can by definition be considered a threshold gate (since threshold gates are a superset of Boolean gates) it misses the...

Click to read more »
Talk:Dual (category theory)
Kamis, 2024-02-01 11:07:05

domain and a codomain. At this point, it is however unclear how Boolean algebras + Boolean isomorphisms are the opposite of Stone spaces + continuous functions...

Click to read more »
Talk:Laws of Form/Archive 2
Rabu, 2026-04-01 01:20:05

problems with LoF are: Those who know logic and math dismiss it as "mere" Boolean algebra. They point to its confused assertions about set and type theory...

Click to read more »
Talk:Spotlight (Apple)
Rabu, 2024-02-07 07:05:17

June 28, 2006 Could someone help with this? I don't really understand Boolean stuff etc. and this Quick Look sounds just like normal file previews, but...

Click to read more »
Talk:Absorption law
Senin, 2024-01-22 13:51:40

Algebra and Abstract algebra categories? Especially when it belongs to the Boolean algebra category which in turn belongs to both of the above categories...

Click to read more »
Talk:Icon (programming language)
Senin, 2025-12-22 04:55:36

were derived from Snobol, where the concept of success/failure instead of boolean is one of primary features of that language. Icon, like Snobol, does require...

Click to read more »
Talk:Contraposition
Sabtu, 2025-10-18 20:03:56

the same, De Morgan's laws are discussed specifically in the context of Boolean logic in computation. Contraposition is more of a philosophical concept...

Click to read more »
Talk:Biosocial criminology
Selasa, 2025-06-10 23:33:05

Putting this here in case anyone wonders why. BooleanQuackery (talk) 19:33, 30 July 2022 (UTC) BooleanQuackery (talk) 19:33, 30 July 2022 (UTC) References...

Click to read more »
Talk:Conjunctive normal form
Rabu, 2024-01-31 05:59:04

variable. - Liberatore(T) 13:50, 2 January 2006 (UTC) I have been studying boolean algebra in my class "Fundamentals of Logic Design", and we are taught that...

Click to read more »
Talk:Outrapo
Senin, 2025-11-10 13:04:54

potential theatrical techniques of production - particularly regarding Boolean Theatre, whose overlapping and interlocking Escherian architecture has...

Click to read more »
Talk:Robbins algebra
Jumat, 2026-05-29 11:39:25

contain essentially different information than what can be found at the Boolean algebrasarticle so I wonder if it is justified to have this article. The...

Click to read more »
Talk:Semilattice
Sabtu, 2024-03-09 11:27:23

you state x^0 = x ... and a bit latter "use 1 for v". Looking at the "boolean algebra" page, one of course will find the more traditional x^1 = x, and...

Click to read more »
Talk:Mir Ahmad Shah Rizwani
Jumat, 2024-02-23 23:01:28

just refer to him as "Mir Ahmad Shah". Take a look on gBooks with the boolean "mir ahmad shah" general and you'll see many examples. But no objection...

Click to read more »
Talk:Big Bang/Archive 12
Minggu, 2010-09-05 16:57:54

is. Another point from my essay relevant to this discussion is that the Boolean logic article doesn't mention intuitionism at all, even though the relative...

Click to read more »
Talk:Null (SQL)/to do
Senin, 2009-09-28 19:16:50

comparing against NULL always results in UNKNOWN, so the current truth table is a general operator truth table). The IS operator must be used with booleans....

Click to read more »
Talk:Filter (software)
Minggu, 2026-05-10 09:48:41

"list comprehensions". It looks like filter(some array or tuple or set, boolean function f wrt array element) and returns subarray of given arrays where...

Click to read more »
Talk:Boerdijk–Coxeter helix
Jumat, 2024-02-09 23:10:49

plane" (30 Aug 2009) "London dispersion forces are colineally arranged in a boolean triagram to offset the isomeric aspect." (26 Aug 2010) "The Helices are...

Click to read more »
Talk:Boolean operator (Boolean algebra)
Senin, 2024-01-29 03:38:28

...

Click to read more »
Talk:Comparison of search engines
Selasa, 2026-06-02 02:52:49

part of search (an increasingly widespread bug). Exact phrase search Full boolean expressions NOT searches Date ranges (none, few, fully flexible) Local...

Click to read more »
Talk:Semiotic square
Sabtu, 2025-09-20 18:38:39

Aristotelian square? The example's logical structure is instead that of the Boolean square of opposition. Aristotelian: A & E can't both be true. I & O can't...

Click to read more »
Talk:Substitution–permutation network
Minggu, 2024-02-25 09:01:26

illustration. It is a simple (usually, but not necessarily, linear) vectorial Boolean function transformation of the state. This greatly enhanced machinery is...

Click to read more »
Talk:Probably approximately correct learning
Kamis, 2025-10-30 22:52:44

original paper has some elementary and fairly concrete examples using simple Boolean conjunctions. Benjamin Schulz (talk) 17:36, 12 April 2020 (UTC) References...

Click to read more »
Talk:Laws of Form
Minggu, 2026-02-08 12:46:10

Thoughts? --William.bricken (talk) 01:50, 14 December 2010 (UTC) Since Boolean algebra and related technical subjects are already treated elsewhere on...

Click to read more »
Talk:Agnosticism/Archive 14
Selasa, 2023-01-31 00:01:46

neither argue for non-boolean logic, nor reject excluded middle, when they suspend judgment. ¬Bp ≠ B¬p does not require non-boolean multi-valued logic....

Click to read more »
Talk:Picasa
Rabu, 2025-09-03 19:17:02

Hi, I think the article is incorrect in saying that Picasa supports the Boolean NOT or Hyphen (-). I tested this out today, and it seems not to be working...

Click to read more »
Talk:Attack of the 60 Foot Centerfold
Sabtu, 2024-07-27 17:41:35

boolean=and to http://www.erotic4u.co.uk/ncma/names.htm?wert=&wo=alt&suchwort=Attack%20of%20the%2060%20Foot%20Centerfolds&jahr=1995&boolean=and When...

Click to read more »
Talk:Argument from ignorance
Selasa, 2024-10-08 02:55:55

proposition is (either true or false) and that the proposition is a strictly boolean one with no fuzzy borders in the words is to assume that the writer is...

Click to read more »
Talk:Punnett square
Jumat, 2025-01-03 21:32:44

at a bunch of boolean algebra expressions is harder to understand.). I would add a "see also" link but not to drag electronics/boolean algebra into the...

Click to read more »
Talk:Rank (graph theory)
Jumat, 2025-05-02 09:49:05

consequence I believe to have seen the matrix-rank of a graph both over the booleans and over the reals. Probably this should be noted? In particular the rank...

Click to read more »
Talk:Symbol table
Sabtu, 2025-04-26 17:48:01

key, Value value) Value get(Key key) void delete(Key key) boolean contains(Key key) boolean isEmpty() int size() Iterable<Key> keys() Source Which basically...

Click to read more »
Talk:Marijn Heule
Minggu, 2025-08-03 01:58:58

about career milestones, rather than in a separate section? Why is the Boolean Pythagorean triples problem named without a definite article? But those...

Click to read more »
Talk:Strict programming language
Selasa, 2025-01-14 15:57:51

that takes a boolean-thunk and two (unconditional) branch-thunks, and returns an unconditional thunk that, when executed, calls the boolean thunk and the...

Click to read more »
Talk:Register-transfer level
Rabu, 2025-10-01 07:28:00

phase of the integrated circuit design cycle. Logic design redirects to Boolean algebra (logic) which is a mathematical term, not a engineering term. So...

Click to read more »
Talk:Edward Johnston
Senin, 2025-01-06 06:45:24

boolean&submit.x=8&submit.y=11&submit=submit to http://vads.ahds.ac.uk/results.php?cmd=search&words=%22edward+johnston%22&mode=boolean&submit.x=8&submit...

Click to read more »
Talk:Fréchet filter
Jumat, 2024-02-02 10:27:01

Tarski's lemma on Ultrafilters, as I recall this is equivalent over ZF to the Boolean Prime Ideal Theorem, which Halpern and Levy proved in 1971 does not imply...

Click to read more »
Talk:Knights and Knaves
Jumat, 2026-07-17 00:16:46

Knaves problem is that a knave negates the answer a knight would give, a la boolean logic. This is what makes asking about future questions work in those "one...

Click to read more »
Talk:List of trading losses
Sabtu, 2024-02-17 23:34:04

One time I implemented a binary tree thinking that strcmp(a,b) returned Boolean values corresponding to either a<b or a≤b. This was very wrong of me, the...

Click to read more »
Talk:Hall–Mills murder case
Minggu, 2025-11-09 02:50:18

org/photoarchive/default.asp?SavedQuery=Hall%20and%20Mills&searchtype=boolean&sc=&RankBase=1000&CurrentPage=2 Added archive https://web.archive...

Click to read more »
Talk:Passport validity
Minggu, 2025-06-08 12:48:12

have suffered for a decade under Designguy84's 2014 scheme of using the boolean columns for 5, 5-10, and 10 years. These were systematically converted...

Click to read more »
Talk:Logical abacus
Rabu, 2025-07-30 00:55:02

an advanced mechanical calculator of some sort, possibly implementing Boolean algebra?? But the article as written is riddled with grammatical errors...

Click to read more »
Talk:Boolean matrix
Senin, 2024-01-29 11:09:54

...

Click to read more »
Talk:Bit array
Minggu, 2026-04-12 15:15:11

Deco 03:55, 9 February 2006 (UTC) Are FreePascal bitpacked arrays of booleans bit arrays? Hixie (talk) 06:30, 6 July 2011 (UTC) Since bitfields are not...

Click to read more »
Talk:Inverted index
Minggu, 2024-02-04 06:53:54

cardinal frequency. Documents can be retrieved using a boolean retrieval method or a non-boolean (Salton 1975) harv error: no target: Sal75 (help). While...

Click to read more »
Talk:Conflict-free replicated data type
Selasa, 2026-01-20 18:10:07

compare function in the State-based 2P-set is specified as compare (S, T) : boolean b let b = (S.A ⊆ {\displaystyle \subseteq } T.A ∨ {\displaystyle \lor }...

Click to read more »
Talk:History of compiler construction
Jumat, 2024-08-09 17:13:03

from that association. A formula is a type of Boolean function. I use the term test because a boolean test result comes from attempting an action. Parsing...

Click to read more »
Talk:Local search (optimization)
Jumat, 2025-02-14 04:17:53

to find "nearly optimal" solutions but this is not always the case. For boolean satisfiability and TSP it can be used to solve the problem. I'm not sure...

Click to read more »
Talk:Null coalescing operator
Rabu, 2024-02-07 07:22:24

Perl and JS, whenever the Left-Hand-Side has a value which is FALSE in boolean context, the Right-H-S will be returned. For instance the number 0 or an...

Click to read more »
Talk:Power set
Senin, 2025-11-24 05:50:17

April 2010 (UTC) Concerning the representation of Boolean algebras as subalgebras of power-set Boolean algebras, what is the intended meaning of the strange...

Click to read more »
Talk:Adder (electronics)
Rabu, 2024-04-03 08:35:34

specifically boolean ones. The series' articles prefixes with binary, bitwise or bits, but only when disambiguation is necessary, and have the same boolean focus...

Click to read more »
Talk:Adder–subtractor
Selasa, 2024-01-23 01:19:52

ideas in here. It looks more like you've related some examples in terms of Boolean logic, which is OK except they're presented as physical reality. A peek...

Click to read more »
Talk:Boolean analysis
Senin, 2024-01-29 11:08:19

...

Click to read more »
Talk:Vehicle routing problem
Jumat, 2024-02-16 04:24:50

formulation section. Cij is the cost of going from node i to node j, Xij is a boolean that is 1 if the edge ij is part of the solution and 0 otherwise. Node...

Click to read more »
Talk:Algebraic sentence
Minggu, 2025-02-16 20:38:17

notice that all the "variables" that appear in propositional calculus are boolean variables that can only take the value true or false. It's possible in...

Click to read more »
Talk:Stack-oriented programming
Jumat, 2024-02-09 23:50:31

language is syntax equations, boolean functions. Each euation expresses a goal, recognizing some language structure. They are boolean equations that analyze...

Click to read more »
Talk:Mihailo Apostolski
Selasa, 2025-01-21 04:15:00

qs=0002&sl=0090&ord=pos&ind=20&vis=000009&start=261&s=001&p=0090&n=000013&sstr=&ssec=0090&boolean=&&g= to http://www.archivesforbalkans.bg/cgi-bin/e-cms/vis/vis.pl...

Click to read more »
Talk:JavaScript/Archive 4
Selasa, 2024-10-01 01:29:40

true. The language does offer a Boolean object which can be used as a wrapper for handling Boolean values. The Boolean object will always evaluate to true...

Click to read more »
Talk:Pointless topology
Kamis, 2025-05-22 05:27:59

iteratively add complements, and repeat ad infinitum without ever obtaining a Boolean frame. Walters-Wayland has written mostly on uniform structures on a frame...

Click to read more »
Talk:Underdominance
Sabtu, 2023-08-19 09:21:11

called? Underdominance and overdominance? (I'm not against the idea). BooleanQuackery (talk) 07:55, 28 July 2022 (UTC) This article is or was the subject...

Click to read more »
Talk:Quantifier elimination
Senin, 2026-07-27 21:14:24

in the elementary theory of dense order is deductively equivalent to a Boolean combination of the two sentences: "There is no first element" and "There...

Click to read more »
Talk:Q&A comedy website
Senin, 2025-02-17 14:14:59

com:80/ads/search.php?askee=Boolean to http://labgoats.com/ads/search.php?askee=Boolean When you have finished reviewing my changes,...

Click to read more »
Talk:Armenian dram
Kamis, 2024-11-21 20:28:06

"Հայկական Դրամ" it reads "Lua error in Module:Lang at line 367: invalid value (boolean) at index 2 in table for 'concat'." Ermöglicht (talk) 22:59, 24 December...

Click to read more »
Talk:Relational programming
Selasa, 2020-12-01 21:03:34

relations. Logic programming deals with relations but the outputs are Boolean and asserted true. But any input can be given a value by a relation. CLP...

Click to read more »
Talk:Robust Nuclear Earth Penetrator
Kamis, 2006-01-12 23:36:23

needs to be rethought, hard. The material about niuclear weapons being a Boolean decision is true in a different respect than the author thinks - and the...

Click to read more »
Talk:Pastel (programming language)
Selasa, 2025-05-13 00:39:01

variable is known only within the scope of the statement *) >> Condition boolean operations orif / andif (* analogous to || and && *) >> Return statement...

Click to read more »
Talk:Markov's principle
Jumat, 2026-06-26 04:54:03

that P {\displaystyle P} is decidable, whose computational content is a boolean function implementing a decision procedure for P {\displaystyle P} ; and...

Click to read more »
Talk:Wallack's Theatre
Minggu, 2024-02-11 05:31:21

think we are permitted to instruct our readers in the footnote to do a boolean search, can we? -- Ssilvers (talk) 15:24, 24 April 2014 (UTC) I don't know...

Click to read more »
Talk:PubMed/Archive 1
Selasa, 2018-01-09 09:49:35

would be enough. The Boolean search examples are of very doubtful value. Why not delete them, and just leave the notes on Boolean searching (you deleted...

Click to read more »
Talk:Boolean operations on polygons
Minggu, 2026-07-12 03:34:02

This is the talk page for discussing improvements to the Boolean operations on polygons article. This is not a forum for general discussion of the subject...

Click to read more »
Talk:Boolean differential calculus
Kamis, 2024-10-10 04:55:49

After reading the article I still don't have a clear understanding. A more detailed explanation including examples would help. Reijh (talk) 21:55, 9 October...

Click to read more »
Talk:Operator (computer programming)
Sabtu, 2025-02-22 20:42:07

depends on value, evaluation strategy, and argument passing mode (such as Boolean short-circuiting). Simply, an expression involving an operator is evaluated...

Click to read more »
Talk:H:BOOLEAN
Kamis, 2020-10-01 07:47:32

...

Click to read more »
Talk:Predicate functor logic
Kamis, 2024-02-08 16:07:16

comment about how PFL fits into the universal algebra family? Is it a Boolean algebra with monadic operators? If not, is it still a variety?Palnot (talk)...

Click to read more »
Talk:Ecco Pro/Product Functionality Section Draft
Minggu, 2010-08-15 22:46:13

ECCO. Searching improved with a query tool based on forms and support for boolean filters. ECCO Pro version 4.0 added 32 bit support and OLE 2.0. as well...

Click to read more »
Talk:MV-algebra
Sabtu, 2024-06-01 04:42:22

theorem? If yes, MV algebras are well connected either to groups or to Boolean algebras.202.36.179.65 22:37, 17 August 2006 (UTC) I agree. Unless someone...

Click to read more »
Talk:Boolean conjunctive query
Minggu, 2024-10-20 01:22:55

...

Click to read more »
Talk:Truth table/Archive 1
Sabtu, 2024-03-23 02:55:45

wishes; otherwise, it is renderred into a PNG via TeX. The symbols for boolean algebra typically are \lor ( ∨ {\displaystyle \lor } ), \land ( ∧ {\displaystyle...

Click to read more »
Talk:Boolean operation
Rabu, 2024-10-23 00:23:11

...

Click to read more »
Talk:Boolean operators
Senin, 2008-09-22 14:25:22

Please help me expand and improve this page! Colonel Marksman (talk) 07:25, 22 September 2008 (UTC)...

Click to read more »
Talk:Al Lang Stadium
Rabu, 2025-09-24 07:49:59

this event center as Al Lang Stadium. There are over 15,900 results in a Boolean Google search of "Al Lang Stadium." That is why I created this re-direct...

Click to read more »
Talk:Logic puzzle
Sabtu, 2025-04-26 05:21:01

premise of that statement ("If Bill is a knave...") is false. According to boolean logic, any statement that begins with a false premise must be true, regardless...

Click to read more »
Talk:Elvis operator
Kamis, 2026-03-19 10:45:02

how some forms of ?: is doing a reference thing and others are doing a boolean thing. --Artoria2e5 🌉 18:23, 12 August 2020 (UTC) I think it's worth mentioning...

Click to read more »
Talk:Boolean formula
Minggu, 2025-05-04 10:20:11

...

Click to read more »
Talk:Notation in probability and statistics
Rabu, 2024-02-07 06:31:29

P( union of events A & B ), they write P( A ^ B ); read: probability of boolean variables A and B being true, I think the set notation applies to continuous...

Click to read more »
Talk:Disjunct matrix
Selasa, 2024-07-23 17:42:46

--Quuxplusone (talk) 21:36, 2 January 2020 (UTC) column set (3,4) has a boolean sum that is a superset of column 1. 104.218.66.41 (talk) 23:53, 8 May 2021...

Click to read more »
Talk:Geraldine L. Richmond
Kamis, 2025-01-09 03:49:58

bullet points, but I lack the technical expertise to even formulate a Boolean search on any of the topics listed. The research section could benefit...

Click to read more »
Talk:Karnaugh map
Rabu, 2025-02-12 00:03:52

{\displaystyle 0} . They go to a lot of trouble explaining it in the Boolean algebra page: "...Two Boolean laws having no numeric counterpart are the laws characterizing...

Click to read more »
Talk:Operator associativity
Jumat, 2025-01-03 21:10:35

in how the C boolean operators are defined. p && q is defined as "evaluate p and, if true, evaluate q, and return the result as a boolean". Thus (p &&...

Click to read more »
Talk:Ronen Eldan/Temp
Senin, 2024-11-04 11:38:15

(2022). "Log concavity and concentration of Lipschitz functions on the Boolean hypercube". Journal of Functional Analysis. 282 (8). Elsevier BV: 109392...

Click to read more »
Talk:Topological Boolean algebra
Minggu, 2024-10-20 19:37:13

...

Click to read more »
Talk:Tractatus Logico-Philosophicus (5.101)
Kamis, 2022-07-21 00:20:02

propositions (boolean variables). In fact the more I look at the figure the less I understand it...how to get 16 cases out of only two boolean variables?...

Click to read more »
Talk:Estimation
Selasa, 2024-10-01 03:11:19

special cases of this such as detection, where the hidden variable is a boolean. Estimation is some of the mathematics behind modems and radars. (The hidden...

Click to read more »
Talk:Dana Scott
Senin, 2024-02-26 04:18:13

he received the ACM Turing Award in 1976, and the independence of the Boolean prime ideal theorem. Although I find this claim (attrib of BPI thm) plausible...

Click to read more »
Talk:Path of least resistance
Jumat, 2024-09-06 18:57:10

what-is/isn't-grounded scenarios. Definitely not "the only" path (one or other boolean choice), but still the preferred one (gradation of more/less resistance...

Click to read more »
Talk:Chromatin
Sabtu, 2026-03-28 09:21:37

66.253.133.106 (talk) 18:20, 29 October 2007 (UTC) Thanks, updated now BooleanQuackery (talk) 08:21, 31 July 2022 (UTC) A lot of work on 30nm fiber is...

Click to read more »
Talk:Boolean algebra (disambiguation)
Selasa, 2025-03-04 23:07:19

...

Click to read more »
Talk:Relational database/Archive 2
Jumat, 2008-05-02 05:43:55

the following reasons: the wikipedia article "boolean" doesn't capitalize uniformly google "define:boolean" top five (that loaded) didn't conclusively upper-case...

Click to read more »
Talk:Symmetric Boolean function
Sabtu, 2024-03-09 12:25:41

...

Click to read more »
Talk:Evasive Boolean function
Kamis, 2024-02-01 21:26:33

...

Click to read more »
Talk:Existential fallacy
Selasa, 2025-06-03 22:09:23

irrelevant anyhow. IIRC, the Boolean and Aristotelian views of existential fallacy differ (this article, again IIRC, addresses the Boolean view)...maybe include...

Click to read more »
Talk:8BITMIME
Jumat, 2024-01-19 16:02:25

documentation shipped with Exim 3.36-18 for Debian says: accept_8bitmime Type: boolean Default: false This option causes Exim to send 8BITMIME in its response...

Click to read more »
Talk:Algebraic logic
Minggu, 2025-10-26 03:29:50

Quine (1976). Algebraic logic has at least two meanings: The study of Boolean algebra begun by George Boole, and of relation algebra begun by Augustus...

Click to read more »
Talk:Programmed Data Processor
Selasa, 2024-02-06 21:16:49

data memory or data registers; it could test external Boolean input signals and set or clear Boolean output signals. Guy Harris (talk) 19:06, 15 August 2013...

Click to read more »
Talk:Enumerated type
Jumat, 2025-06-20 23:32:16

DGerman (talk) 22:56, 27 November 2021 (UTC) "In some languages, the boolean type of truth values is considered a predeclared enumerated type of two...

Click to read more »
Talk:Boolean minimization
Sabtu, 2024-09-21 21:11:37

...

Click to read more »
Talk:Artificial neuron
Kamis, 2026-08-06 07:38:46

of neuron. Indeed, some of the comments here (such as the values being boolean) arguably don't even generalise over all perceptrons. Once I've finished...

Click to read more »
Talk:Colossus computer
Senin, 2025-10-13 23:35:43

1973; it had a clock speed of 5kHz; it could simultaneously carry out 100 boolean operations on each bit in the input stream, representing 2.5 MBops. (See:...

Click to read more »
Talk:Boolean delay equation
Senin, 2024-01-29 11:08:20

This article currently gives neither a precise definition nor any examples. The former is absolutely necessary for comprehesion. Michael Hardy (talk) 19:53...

Click to read more »
Talk:Mathematical puzzle
Sabtu, 2024-03-09 09:22:05

Probability; Game Theory; Newcomb’s Paradox; Prisoners' Dilemma; Coincidence; Boolean Algebra; Turing Machines; Abacus; Codes & Ciphers; Flatland; Birds in Trees;...

Click to read more »
Talk:C syntax/Archive 2
Minggu, 2026-01-11 20:32:37

top or at the bottom of the loop? and how exactly does it work? it's a boolean expression. In c, a zero is "true" anything else is "false". If e2 evaluates...

Click to read more »
Talk:Pillarisation
Kamis, 2026-03-12 23:18:33

systems of separation have their foundation in a "yes or no", "us or them" Boolean distinction only, always having precisely two pillars in their most basic...

Click to read more »
Talk:Commutative magma
Rabu, 2024-01-31 04:48:32

2012 (UTC) Added PJTraill (talk) 12:55, 14 May 2015 (UTC) NAND or NOR on booleans --77.177.0.185 (talk) 18:18, 1 July 2016 (UTC) I'd just like to say RSP...

Click to read more »
Talk:Majority function
Jumat, 2026-03-27 21:41:52

2008 (UTC) Is it true that the majority function can be evaluated by a boolean circuit of size O(n) with AND and OR gates ? If so, I think it should be...

Click to read more »
Talk:He Loves Me... He Loves Me Not (film)
Sabtu, 2024-02-03 12:08:48

October 2005 (UTC) I found it intresting how the english game implements boolean logic whereas the french version implements fuzzy logic —The preceding...

Click to read more »
Talk:Pseudo-Boolean function
Minggu, 2024-07-28 22:08:43

Resolved Would that be the real numbers? In that case \mathbb{R} should be used. — Preceding unsigned comment added by 134.117.21.173 (talk • contribs)...

Click to read more »
Talk:PLATO (computer system)/Archive 1
Minggu, 2010-09-05 00:04:16

could be displayed in any Boolean on/off mode, overlapped and even manipulated by special characters which could change the Boolean write, erase, xor, overwrite...

Click to read more »
Talk:The Source (retailer)/Archives/2013
Jumat, 2024-12-13 09:36:10

Sigh. It's rare instances like like this I like mathematics, heck even boolean, it's either true or false. Help me here, BoyoJonesJr, I was proud of that...

Click to read more »
Talk:Boolean satisfiability algorithm heuristics
Senin, 2024-04-15 13:09:08

This is the talk page for discussing improvements to the Boolean satisfiability algorithm heuristics article. This is not a forum for general discussion...

Click to read more »
Talk:Internet Oracle
Selasa, 2024-11-05 06:42:54

you will not get a response either way. You owe the Oracle a tristate boolean variable. DMacks (talk) 15:43, 3 August 2017 (UTC) It's almost a false...

Click to read more »
Talk:Variety (universal algebra)
Minggu, 2024-02-11 01:31:42

semigroups, but that abelian groups are all subvarieties of groups. Are Boolean algebras subvarieties of lattices? Of commutative monoids?202.36.179.65...

Click to read more »
Talk:Law of trichotomy
Senin, 2024-02-05 08:41:30

reverting your edit. --Zundark (talk) 16:37, 11 June 2008 (UTC) If there is a Boolean expression for trichotomy using AND, OR and NOT it would be much appreciated...

Click to read more »
Talk:Apache Pig
Kamis, 2024-01-25 13:06:17

0.10.0 (2012-04-25) This release include several new features such as boolean datatype, nested cross/foreach, JRuby udf, limit by expression, split default...

Click to read more »
Talk:Inclusion (Boolean algebra)
Minggu, 2024-02-04 04:30:33

...

Click to read more »
Talk:Richard Buckner (artist)
Sabtu, 2026-07-04 05:54:50

fleeting remarks and reviews of Buckner's work between 1850 and 1877, using Boolean operators with search engines to sift through publicly available British...

Click to read more »
Talk:Analysis of Boolean functions
Selasa, 2024-03-26 05:05:57

...

Click to read more »
Talk:Standard cell
Sabtu, 2024-02-10 00:04:51

June 2008 (UTC) In this article, "gate" means logic gate -- an abstract Boolean function. For example, anything with 3 inputs and one output, which has...

Click to read more »
Talk:Residuated Boolean algebra
Sabtu, 2024-03-09 11:13:49

...

Click to read more »
Talk:Stability of Boolean networks
Jumat, 2024-12-13 19:30:12

...

Click to read more »
Talk:Quadratic pseudo-Boolean optimization
Sabtu, 2024-03-09 11:00:14

...

Click to read more »
Talk:Occurs check
Selasa, 2025-09-23 05:00:22

Alternatively, a recursive Prolog (or Ml) definition of the predicate (or boolean function) that test whether x occurs in t could be given. The goal of syntactic...

Click to read more »
Talk:Guard (computer science)
Selasa, 2024-10-08 21:14:12

cross-language pattern of returning from a method/function at the beginning if the boolean condition is met. This reduces the number of nesting levels. C# example...

Click to read more »
Talk:ENIAC
Rabu, 2026-04-01 09:18:01

connecting patch leads, as was ENIAC. It counted the result of a wide range of Boolean functions but did not have the range of arithmetic functions of ENIAC which...

Click to read more »
Talk:Yes (Unix)
Minggu, 2024-02-11 13:58:12

condition in a while loop seems inappropriate in C++, because C++ expects a boolean as the condition in a while loop. While the compiler may optimize this...

Click to read more »
Talk:Ada (programming language)
Selasa, 2026-02-17 14:04:32

segments of code is trivial == declare a boolean in the relevant unit Disabled : Boolean; == Set that boolean to true or false as required Disabled :=...

Click to read more »
Talk:Clique problem/GA1
Jumat, 2017-01-13 21:04:34

problems are different because they have different outputs (a clique vs a boolean). The sentence above the bullets does say that they are closely related...

Click to read more »
Talk:Intuitionism
Sabtu, 2024-03-09 08:29:25

27 June 2006 (UTC) meaning of 'existence' , "A third objection to the Boolean propositional logic goes back to Kronecker, and has been advanced in modern...

Click to read more »
Talk:Automatic variable
Senin, 2025-02-17 23:54:52

value 0 (for numeric types), null (for reference types) or false (for the boolean type).[3] Okay, nice that a reference ([3]) is provided, but when I go...

Click to read more »
Talk:Minimal axioms for Boolean algebra
Minggu, 2024-02-04 21:17:06

I was unable to find reliable sources which state that ( ( a ∣ b ) ∣ c ) ∣ ( a ∣ ( ( a ∣ c ) ∣ a ) ) = c {\displaystyle ((a\mid b)\mid c)\mid (a\mid ((a\mid...

Click to read more »
Talk:Almost all
Rabu, 2024-01-24 13:03:43

terms are used -- the case where one has an ideal in a power set (or other Boolean algebra). Another example, used in Baire category theory, is meagre sets...

Click to read more »
Talk:Loudness/Archive 1
Senin, 2022-02-14 00:43:05

fact that loudness is actually a boolean attribute, therefore can not be adjusted by an analog control. The only boolean property I can think of is the...

Click to read more »
Talk:Xmonad
Senin, 2024-02-26 20:01:46

error in the implementation, whereas dwm has supported size hints via the boolean 'sizehints' argument to resize before xmonad was even conceived (the first...

Click to read more »
Talk:Constructive solid geometry
Selasa, 2025-05-13 22:55:02

reorganizing it might be needed. https://commons.wikimedia.org/wiki/File:Boolean_raytrace.svg AlgoPunk (talk) 18:43, 22 February 2014 (UTC) Thanks for the...

Click to read more »
Talk:Top-down parsing
Rabu, 2025-10-08 22:32:57

or just formula(s). A formula is a TEST(boolean) function that may perform an action. A test returns its boolean success(TRUE) or failure(FALSE) result...

Click to read more »
Talk:Ultrafilter on a set
Senin, 2024-12-02 08:27:49

can think of several. When studying Boolean algebras, there are questions like "how many different kinds of boolean algebras are there?" and "what are...

Click to read more »
Talk:Criticism of Google
Kamis, 2026-06-18 04:13:05

Learning for Boolean Circuit Minimization https://openreview.net/forum?id=0t1O8ziRZp%7Ctitle=[Retrieval-Guided Reinforcement Learning for Boolean Circuit Minimization...

Click to read more »
Talk:Backus–Naur form/Archive 1
Kamis, 2026-04-16 22:34:57

description of it implementation. Same for: <boolean expression> ::= ... <arithmetic expression> and <boolean expression> are not non terminal symbols but...

Click to read more »
Talk:Goldilocks principle
Kamis, 2024-06-20 07:02:10

Goldilocks principle ? Are we talking 5 plates, 7, 11 ??? Isn't this a boolean statement ? And haven't both mammalian and reptilian "classifications"...

Click to read more »
Talk:Three-valued logic
Senin, 2026-01-12 01:14:15

contain trinary boolean systems (yes I know how stupid that term sounds). In every language I've used, there is some way of declaring a boolean variable with...

Click to read more »
Talk:Evaluation strategy
Jumat, 2026-05-29 07:19:26

short-circuit evaluation for a Boolean expression. In particular the process is no different than how you would evaluate the Boolean expression (P→Q) & (~P→R)...

Click to read more »
Talk:Primitive data type
Minggu, 2024-02-04 06:36:05

terms of basic types (int, boolean, double, etc.) and rules for deriving non-basic types (int[], functions/maps from booleans to doubles, int*, etc.). It's...

Click to read more »
Talk:Multiplication and repeated addition
Jumat, 2024-02-02 21:13:35

computer. Sheffer, H. M. (1913), "A set of five independent postulates for Boolean algebras, with application to logical constants", Transactions of the American...

Click to read more »
Talk:Sieve of Eratosthenes
Sabtu, 2025-05-31 19:54:48

this one step further is to exclude all even numbers from the array of booleans in the first place: algorithm Sieve of Eratosthenes is input: an integer...

Click to read more »
Talk:Finitary boolean function
Selasa, 2009-12-01 21:31:49

Jon Awbrey 18:46, 15 January 2006 (UTC)...

Click to read more »
Talk:Exceptional object
Sabtu, 2024-08-03 01:49:54

around other mathematical topics, we have a gaggle of articles around Boolean algebra that fulfil the encyclopedic needs of classes of reader with quite...

Click to read more »
Talk:Feedback (pork industry)
Minggu, 2025-11-09 10:05:44

find some more information about other countries with more complicated boolean searches to look at feedback usage after PEDV in particular . Its had wide...

Click to read more »
Talk:Boolean Pythagorean triples problem
Kamis, 2024-06-20 00:59:50

I'm no mathematician, but I believe this article is completely wrong. It says "The proof tested all possible colouring of numbers up to 7,825 and found...

Click to read more »
Talk:Extended Boolean model
Sabtu, 2026-07-11 14:58:14

I think the weighting equation needs two clarifications, but I don't know enough about eBIR yet to be sure of them myself: 1. define f_{x,j} as the frequency...

Click to read more »
Talk:And-inverter graph
Kamis, 2025-04-24 23:11:32

and physical synthesis problems can be solved using AIGs simulation and boolean satisfiability compute functional properties (such as symmetries) and node...

Click to read more »
Talk:Scannerless Boolean Parser
Sabtu, 2024-02-03 17:00:51

...

Click to read more »
Talk:Monitor (synchronization)
Selasa, 2024-01-09 15:15:45

notion that a condition variable is (or ought to be) associated with some boolean expression. This is what makes programming with monitors effective. When...

Click to read more »
Talk:Low (complexity)
Sabtu, 2024-03-09 09:22:02

I think it'll suffice to tack on "provided it is powerful enough to negate the boolean result", which I've done. Dcoetzee 20:00, 3 October 2013 (UTC)...

Click to read more »
Talk:Boolean model (probability theory)
Senin, 2024-01-29 11:08:25

...

Click to read more »
Talk:C++/Archive 10
Selasa, 2024-10-01 21:00:21

November 2009 (UTC) The following section was removed from the article Boolean data type: begin removed text During its standardization process, the C++...

Click to read more »
Talk:Measurable cardinal/Archive 1
Kamis, 2026-06-11 23:41:55

a measure on a (countably complete) Boolean algebra, and in that sense, the measure in question is on the Boolean algebra P(κ). I agree that "measure...

Click to read more »
Talk:PSPACE
Sabtu, 2024-03-09 10:49:24

August 2011 (UTC) The idea of counting all valid quantifications of a boolean formula defines a canonical #PSpace problem. It turns out that the number...

Click to read more »
Talk:Quantum logic
Sabtu, 2025-02-08 14:10:51

The WP article distributive law doesn't specifically mention the case of Boolean logic, and Classical logic doesn't discuss the distributive law. The index...

Click to read more »
Talk:Logic gate
Senin, 2026-06-22 08:39:07

constructed from either NAND or NOR gates. We wrote: "All other types of Boolean logic gates (i.e., AND, OR, NOT, XOR, XNOR) can be created from a suitable...

Click to read more »
Talk:Theory of pure equality
Jumat, 2026-05-29 06:17:43

(WSkS, congruence closure for quantifier-free fragment, FOL theory of boolean algebras, other fragments of the classical decision problem as presented...

Click to read more »
Talk:Porosity
Kamis, 2024-01-11 14:13:52

maint: date and year (link) Horgan, G.W. (1994). "Simulating diffusion in a Boolean model of soil pores". European Journal of Soil Science. 45: 483–491. {{cite...

Click to read more »
Talk:Signature (logic)
Sabtu, 2024-03-09 11:42:30

do that. (Actually, it may be possible to fix this by introducing the Boolean operator → into universal algebra, but that seems to be a much bigger change...

Click to read more »
Talk:Visual Basic (classic)/Archive 2
Jumat, 2024-12-13 05:38:43

the article Boolean data type: begin removed text In Visual Basic Boolean values from comparisons can be stored in variables with the Boolean data type...

Click to read more »
Talk:George Stibitz
Jumat, 2024-02-09 11:39:44

this happened at the same time (1937) that Stibitz had built his little Boolean adder in his kitchen. Unknown to both men, Konrad Zuse was hard at work...

Click to read more »
Talk:Toffoli gate
Sabtu, 2025-03-08 00:08:54

January 2022 (UTC) "Toffoli gate is universal. This means that for any Boolean function f(x1, x2, ..., xm), there is a circuit consisting of Toffoli gates...

Click to read more »
Talk:Modus ponens
Kamis, 2026-04-30 01:43:38

nearly identical to the section on mathematical correspondence to the boolean implication operator. It may offer some value with its simpler language...

Click to read more »
Talk:Bit manipulation
Jumat, 2026-01-16 18:28:04

branching outcome, and therefore wouldn't have to wait for the result of the boolean test; but since I haven't tested this I will go with what you said. Also...

Click to read more »
Talk:Orthogonality (programming)
Rabu, 2024-01-31 12:45:48

*should* be arguing. In C at least prior to C99, there was no separate boolean type - logical expressions *were* arithmetic expressions. This is an example...

Click to read more »
Talk:Gmail/Archive 2
Rabu, 2024-10-02 02:53:40

use Boolean criteria for filters or any kind of searching." However, the Searching section clearly shows that Gmail supports the most common Boolean operators...

Click to read more »
Talk:Feature (computer vision)
Jumat, 2024-02-02 01:38:33

a more complex and call for a more sophisticated representation than a boolean variable. For example, line/edge features can be described in terms of...

Click to read more »
Talk:Interpretation (logic)
Kamis, 2024-02-15 22:26:09

Satisfiability and validity for reasons I mentioned on Talk:Logical connective#Boolean bias, and forgetting about the existence of this article. Does it make...

Click to read more »
Talk:Computable set
Sabtu, 2024-03-09 06:51:51

sets are closed under intersections, unions, and complements, they form a boolean algebra. Computably enumerable sets are closed under intersections and...

Click to read more »
Talk:Liar paradox/Archive 2
Minggu, 2022-05-08 03:32:30

statement evaluates to false. is semantically equivalent to: class foo { boolean statement = false; public void print() { System.out.println("This statement...

Click to read more »
Talk:Ivor Catt/Archive 7
Jumat, 2006-12-22 06:40:56

possible functions of two Boolean inputs for which A op B is the same as B op A. Catt calls this "symmetric", and complains that Boolean algebra deals with "and"...

Click to read more »
Talk:Diaconescu's theorem
Sabtu, 2024-03-09 07:21:31

from some Heyting algebra, just as classical logic uses truth values that come from a Boolean algebra. — Carl (CBM · talk) 12:04, 8 November 2012 (UTC)...

Click to read more »
Talk:Strong and weak typing
Minggu, 2024-02-04 19:47:38

42; // foo is now a number foo = "bar"; // foo is now a string foo = true; // foo is now a boolean 184.160.115.111 (talk) 16:02, 31 January 2023 (UTC)...

Click to read more »
Talk:Image stitching
Sabtu, 2025-01-18 15:49:12

using complete 360-degree rotations. From KRPano code reference: "hlimit [boolean] limit the horizontal rotation (set to true for partial object vr's with...

Click to read more »
Talk:Big Bang/Archive 10
Selasa, 2023-03-21 17:39:46

Bang article is longer than Boolean logic, and there are some phrases like “in any Boolean operation”. But even so, the Boolean article doesn’t really even...

Click to read more »
Talk:NAND logic
Jumat, 2024-04-26 08:14:56

09:43, 4 August 2009 (UTC) Although the information, how to construct the boolean operators exclusively from NAND gates, is interesting, it is already contained...

Click to read more »
Talk:Canonical form
Senin, 2024-02-12 18:52:28

September 2008 (UTC) This page is so short, it should be merged with the boolean algebra page. Also, i find it very odd that the page "maxterm" redirects...

Click to read more »
Talk:Boolean k-satisfiability problem
Senin, 2025-06-02 06:10:11

...

Click to read more »
Talk:Search engine indexing
Senin, 2025-12-08 19:11:11

Dramatic savings on efficiency for large posting lists. Not feasible for Boolean queries. Can miss some relevant documents due to truncation Harvest http://harvest...

Click to read more »
Talk:Orthogonal instruction set
Rabu, 2024-02-07 12:04:35

orthogonal." Whoa! The definition of orthogonality given sounds like a boolean property. Now you're telling me it's possible to be "very strongly orthogonal"...

Click to read more »
Talk:Cantor space
Rabu, 2025-01-08 01:25:44

included among what are called Cantor spaces? (It can be shown that every Boolean space, i.e., every totally disconnected compact Hausdorff space, is a compact...

Click to read more »
Talk:Value (mathematics)
Sabtu, 2024-03-09 12:57:29

about the value of a Boolean, which has nothing to do with quantity. What then does evaluate mean?. Can I "evaluate" a Boolean expression, or evaluate...

Click to read more »
Talk:Boolean operator (computer programming)
Senin, 2024-01-29 11:09:51

...

Click to read more »
Talk:Floyd–Warshall algorithm
Sabtu, 2024-03-09 07:41:19

expression conversion algorithm has the same structure but replaces the OR of Boolean values or the MIN of numbers with the OR of regular expressions. The fact...

Click to read more »
Talk:SQL/Archive 3
Sabtu, 2025-01-18 00:33:39

unknown. The Boolean data type was introduced in the ISO SQL:1999 standard, which specified that in addition to the three possible SQL Boolean values, instances...

Click to read more »
Talk:File attribute
Jumat, 2024-02-02 03:42:19

while the "attribute bits" have "names" from a fixed OS-defined set and Boolean values, and some of them are interpreted by the OS API layer and file systems...

Click to read more »
Talk:History of the Jews in Barbados
Sabtu, 2026-06-06 16:05:54

where the words 'Jew' and 'Barbados' appear in the articles. Keyword and boolean parameters can be used as well. Articles may point to other/better sources...

Click to read more »
Talk:Emma Freud
Minggu, 2025-12-07 22:24:18

cunning form of words that skirted the issue, but marriage is one of those boolean things. I think we should failsafe to saying they're married, but I'm not...

Click to read more »
Talk:Propositional logic/Archive 1
Sabtu, 2025-07-26 17:08:41

in Boolean (algebraic logic) to a mathematical science that consists of a system (K, ', +) [he intentionally orrows the signs ' and + from Boolean logic:...

Click to read more »
Talk:Church encoding
Rabu, 2025-02-26 12:51:50

numerals generally also includes other Church encodings (such as Church booleans), and concepts from one greatly aid understanding of others, I'm proposing...

Click to read more »
Talk:Filter on a set
Selasa, 2025-10-07 22:10:13

Conversely, it's usually ideals, not filters, that are used to form quotient Boolean algebras, and we talk about P-ideals but not, as far as I know, P-filters...

Click to read more »
Talk:OpenText/Archives/2014
Minggu, 2017-05-28 04:23:44

search engine yet. OpenText had a crawler and a search form with some basic boolean operations and it actually worked ;) Yes, they did, circa 1995 - 1998,...

Click to read more »
Talk:Comparability graph
Rabu, 2024-01-31 04:53:27

of a two-level DAG is exactly the same as multiplying matrices over the Boolean semiring (not real numbers). So testing whether an orientation is transitive...

Click to read more »
Talk:Hash tree (persistent data structure)
Minggu, 2024-05-12 10:45:59

are called tomb-inodes), or that the snode structure contains a "tomb" boolean. I guess that's understandable since there is no attempt at explaining...

Click to read more »
Talk:Extended Backus–Naur form/Archive 1
Jumat, 2024-04-19 22:06:48

structure> ::= if <boolean expression> then <expression> Here the language construct <if structure> is being defined using the <boolean expression> language...

Click to read more »
Talk:Nation19
Selasa, 2024-02-06 23:45:13

pikiran-rakyat.com/node/198704 Warning: current() expects parameter 1 to be array, boolean given in /nfs/c02/h12/mnt/38834/domains/nation19.com/html/wp-content/t...

Click to read more »
Talk:Interface (Java)
Selasa, 2024-01-30 07:36:58

methods have no bodies int switchLane(double mph, double mphFinal); int Turn(boolean turnSignal); } There are identical interfaces in C#. exe 15:31, 27 August...

Click to read more »
Talk:A New Kind of Science
Jumat, 2026-07-31 19:33:04

book without even mentioning results like the shortest axiom generating Boolean algebra that Wolfram founds and proves to be the shortest in the book!...

Click to read more »
Talk:Sieve of Eratosthenes/Archive 1
Senin, 2024-09-30 22:47:35

computer science you can use boolean conditions to create the Sieve of Eratosthenes that runs sub-linear Big-O(N-P), by using a boolean memory location for each...

Click to read more »
Talk:Indicative conditional/Archive 1
Rabu, 2025-10-22 01:01:28

non-propositions. I know there's some kind of common isomorphism with boolean algebra in the background here, but I can't see how to use this knowledge...

Click to read more »
Talk:Branch-decomposition
Senin, 2024-01-29 14:39:51

defined in terms of a branch decomposition of the vertex set: Rank-width, boolean-width and mim-width are all significant graph parameters, but AFAICS no...

Click to read more »
Talk:Predicate
Rabu, 2024-08-21 01:22:47

few more articles that "predicate" may refer to: Propositional function, Boolean-valued function and Finitary relation, which I'll add. Which ones to remove...

Click to read more »
Talk:G. Spencer-Brown
Minggu, 2025-08-17 02:34:20

it remains the case that LoF shows a way of making elementary logic and Boolean algebra a lot easier to learn than they are at present. Why isn't this...

Click to read more »
Talk:Complexity of constraint satisfaction
Rabu, 2024-01-31 05:06:18

table of k rows, in whatever order, for example the following one is the Boolean disjunction: 1 1 0 1 1 0 Since these are columns of three elements, one...

Click to read more »
Talk:Liberal arts education/Archives/2023
Rabu, 2026-07-01 05:36:12

appendage to the article's topic and title. "Liberal arts" is a shorter Boolean search term, and the succinctness of the title would offer a better grasp...

Click to read more »
Talk:C Sharp (programming language)/Archive 2
Sabtu, 2023-12-16 07:53:22

The following section was removed from the article Boolean data type: begin removed text In C#, Boolean variables are identified through the reserved word...

Click to read more »
Talk:Directed acyclic word graph
Minggu, 2025-02-02 01:04:41

things to have the same name. A trie which has been compressed into a Boolean graph with shared suffix structures is what I call a DAWG. I should not...

Click to read more »
Talk:Ternary conditional operator
Jumat, 2026-04-24 04:17:51

translation would be more likely. The C# example might then set and test a boolean flag such as "filenameWasSupplied" if an exact copy of the C++ behaviour...

Click to read more »
Talk:Logic family
Sabtu, 2024-06-01 02:24:02

relating to TL appeared [7]. In 1974 [7] TL circuits were combined with Boolean processors and a pattern store in distributed processing elements that...

Click to read more »
Talk:Talent Identification Program
Sabtu, 2024-12-07 15:13:38

output or provide offline printing. TIP allows left-trunation searches and Boolean searching The above paragraph was taken directly from the page: of Information...

Click to read more »
Talk:Computing Machinery and Intelligence
Kamis, 2024-11-07 23:42:51

is best. Joseph2302 (talk) 20:01, 21 February 2015 (UTC) just doing a boolean google search with those words (both phrases/titles mentioned in quotes...

Click to read more »
Talk:Sui generis
Jumat, 2026-07-03 16:34:06

http://legal-dictionary.thefreedictionary.com/OR: conj. either; in the alternative. The boolean exclusive sense "XOR" is rendered "A or B but not BOTH". So the entire...

Click to read more »
Talk:Resolution (logic)
Jumat, 2024-02-09 01:32:46

axioms". Are these axioms the knowledge base mentioned earlier (+ axioms of boolean algebra)? 84.238.30.199 (talk) 16:27, 12 October 2008 (UTC) In the first...

Click to read more »
Talk:Abstract algebra/Archive 1
Senin, 2021-03-15 07:00:52

algebra's branches. Prominent or thriving subdivisions such as group theory or boolean algebras should be expanded upon in an elementary and vivid way, most easily...

Click to read more »
Talk:Igorot people
Kamis, 2025-06-05 00:44:44

lib.umich.edu/s/sclphilimg http://quod.lib.umich.edu/s/sclphilimg?type=boolean;view=thumbnail;rgn1=;q1=tiffany+williams http://quod.lib.umich.edu/cgi/i/image/image-idx...

Click to read more »
Talk:Fuzz button
Sabtu, 2024-10-26 23:10:27

Module Technologies and Alternatives: The Basics is lowercase. Bebop to the Boolean Boogie: An Unconventional Guide to Electronics, Digital Systems Engineering...

Click to read more »
Talk:Quantified Boolean formula problem
Sabtu, 2007-08-18 23:42:20

This page should certainly be merged into the TQBF page, which I played a fair part in creating. I'm not sure how to merge things neatly, though, and I...

Click to read more »
Talk:Indicator function
Sabtu, 2024-03-09 08:18:50

guess what an "indicator function" might be, when it showed up in Talk:Boolean algebra). Also the notation I know is χA for the characteristic function...

Click to read more »
Talk:Projection-slice theorem
Rabu, 2025-07-16 22:17:24

it probably holds for sum projections and DCTs, and there might well be Boolean analogues. Could someone who does know the theory well enough please clarify...

Click to read more »
Talk:Sigmoid function
Jumat, 2025-05-30 07:39:03

by changing the sign of k; thus the sigmoid can be made to act like a Boolean NOT if "thr" is 0.5 and k is positive, You see the failure of "the law...

Click to read more »
Talk:Effective method
Rabu, 2026-01-14 00:56:37

As an example, consider the Choice operator, which, given a non-empty boolean predicate f, returns some value y for which this predicate is true; that...

Click to read more »
Talk:Scheme (programming language)
Jumat, 2025-01-03 10:36:23

October 2009 (UTC) The following section was removed from the article Boolean data type: begin removed text Scheme has two special symbols #t and #f...

Click to read more »
Talk:Can't Get You Out of My Head (TV series)
Senin, 2024-02-12 18:20:47

of Boole. Boole's father, George Boole and his The Laws of Thought and Boolean algebra. 'Virtue is a habit and not a faculty or passion'. The role of...

Click to read more »
Talk:History of computing hardware/Archive 2
Selasa, 2024-12-24 19:46:43

Analysis of Relay and Switching Circuits, Claude Elwood Shannon 'proved' that Boolean algebra and binary arithmetic could be used to simplify the arrangement...

Click to read more »
Talk:Levenshtein distance
Sabtu, 2025-10-25 23:32:22

function is only boolean evaluation expression. If ... else statement is redundant and confusing. Please see http://c2.com/cgi/wiki?ReturnBooleanEvaluations...

Click to read more »
Talk:Assert.h
Jumat, 2024-01-26 07:12:08

require a constant expression (contextually) that can be converted into a Boolean, such as a comparison, and a string literal (until C++17). Working with...

Click to read more »
Talk:Partition type
Rabu, 2024-02-07 16:08:55

libparted/labels/dos.c (line 61). Those constants are converted into a set of booleans stored in a DosPartitionData struct by the raw_part_parse function, which...

Click to read more »
Talk:Double-checked locking
Jumat, 2026-02-27 21:57:13

com/Papers/DDJ_Jul_Aug_2004_revised.pdf The Java example which uses the boolean variable to check whether the instance has already been initialized seems...

Click to read more »
Talk:Σ-algebra
Selasa, 2026-06-16 05:45:54

what does It is the countable analog of a Boolean algebra, and every σ-algebra is a (represented) Boolean algebra. mean? And is a σ-field just a variant...

Click to read more »
Talk:Truth value
Kamis, 2024-05-02 15:10:06

concept is defined on an algebra of classes. Since propostions also form a Boolean algebra, it should be easy and desirable to treat directly the notion of...

Click to read more »
Talk:Gottfried Wilhelm Leibniz/Archive 3
Jumat, 2024-08-23 19:09:40

2018 (UTC) At one point in the article it says "Leibniz's discoveries of Boolean algebra and of symbolic logic, also relevant to mathematics, are discussed...

Click to read more »
Talk:Sierpiński carpet
Sabtu, 2024-03-09 11:39:20

fractal by iteration. Feel free to comment it and move it to the main page. boolean fill(int x,int y) { while(x>0&&y>0) { if(x%3==1&&y%3==1) return false;...

Click to read more »
Talk:Espresso heuristic logic minimizer
Kamis, 2024-02-01 18:50:29

design applications, but it is true under other circumstances such as boolean operations in a computer program). 76.254.65.241 (talk) 08:11, 1 August...

Click to read more »
Talk:Locality-sensitive hashing
Selasa, 2026-03-31 09:05:25

phi(a,b) instead. Although it would also be nice to allow for general boolean combinations of hashes, such as simultaneously hashing to many different...

Click to read more »
Talk:Yoda conditions
Kamis, 2025-07-31 16:15:44

The example of the myBoolean == true Java expression does not fit the topic as reversing the operands would not change the outcome which is still a NullPointerException...

Click to read more »
Talk:The Argumentative Indian
Minggu, 2024-02-04 22:22:26

don't know if .144 is an "unbeliever", but he certainly doesn't believe in boolean logic or coherence. dab (𒁳) 13:34, 17 April 2007 (UTC) For the record...

Click to read more »
Talk:NP-completeness/Archive 1
Jumat, 2026-06-26 19:43:01

with a languaje LSAT. That languaje distingishes the entries which gets a boolean acceptation into the formula it represents. That is, through a Non Deterministic...

Click to read more »
Talk:Curved structures
Kamis, 2025-06-05 02:47:37

of clarity, I'd just add a brief explanation, related to the concept of boolean operations and gaussian curvature. However, maybe the structure of the...

Click to read more »
Talk:List of Cork people
Jumat, 2026-01-23 22:10:36

2014 (UTC) Perhaps the most famous UCC scientist is missing in this list. Boolean algebra is named after him, as is the crater Boole on the Moon. The library...

Click to read more »
Talk:Mathematical logic/Archive 1
Sabtu, 2025-01-18 11:07:18

of 'Boolean algebra' that is intended here. EdJohnston (talk) 14:58, 18 June 2009 (UTC) Sorry about that. The right link is Boolean lattice. Boolean algebra...

Click to read more »
Talk:Half-life
Rabu, 2026-03-11 21:23:59

measurements, Schrödinger's cat, and "[[Boolean algebra (logic)|Quantum Boolean algebra]]". (The last one is strange, the Boolean algebra article says nothing about...

Click to read more »
Talk:Bayesian inference/Archive 1
Kamis, 2025-09-18 20:29:21

potential confusion. boolean: The article boolean does not explain the intended meaning of the word even if the article boolean data type does. That is...

Click to read more »
Talk:Probability mass function
Sabtu, 2024-03-09 10:40:01

-> R, what is the point of that?" in the random variable. It says that boolean, vector, process and other extensions of random variable are admissible...

Click to read more »
Talk:DE-9IM
Selasa, 2025-05-20 21:48:47

Example: CREATE FUNCTION bit8checkmask(bit(8),bit(8),bit(8)) RETURNS boolean AS $func$ SELECT COALESCE(($1 & $2 = $3),false); $func$ LANGUAGE SQL IMMUTABLE;...

Click to read more »
Talk:Partially ordered set
Kamis, 2026-03-12 02:44:37

that both Hasse diagrams given are those of Boolean lattices (the first for B_3, the second for B_6). Boolean lattices are so well-behaved, it may lead...

Click to read more »
Talk:Quantum teleportation/Archive 2
Kamis, 2023-03-02 15:54:12

method to send boolean values is pointless, you need to send two bits anyway so use one of those channels to transmit a pure boolean bit. There is no...

Click to read more »
Talk:Algebraic theory
Rabu, 2024-01-24 07:57:58

when you wrote "propositional logic". Propositional logic is only about boolean variables. It does not say anything about an underlying set. You obviously...

Click to read more »
Talk:Sieve of Atkin
Jumat, 2024-02-09 16:35:03

HighestFactor*HighestFactor; {Resultant search span.} var is_prime: array[5..Limit] of boolean; {Sieve array.} var x,y,n,k: longint; {Must be able to hold 5*Limit: 4x^2...

Click to read more »
Talk:Java class file
Rabu, 2024-04-03 16:17:16

states, "Other integral types appearing in the high-level language, such as boolean, byte, and short must be represented as an integer constant." While it's...

Click to read more »
Talk:Value type and reference type
Kamis, 2026-01-29 11:18:32

divided into two groups: primitive types and reference types. Numbers, boolean values, and the null and undefined types are primitive. Objects, arrays...

Click to read more »
Talk:Logical disjunction
Sabtu, 2024-08-24 04:59:00

tri-state or powered off operations and thus operates beyond a simple boolean model. For more detail: [1]. --MountainLogic (talk) 16:28, 22 April 2008...

Click to read more »
Talk:Software engineering/Archive 3
Senin, 2006-07-10 03:02:19

as a set of boolean equations by an automatic process. This set can be then executed by an other automatic process (the rules of boolean algebra are well...

Click to read more »
Talk:Cryptomorphism
Senin, 2025-04-14 07:19:51

of topological spaces lists many ways to define topological spaces. Or boolean algebras can be defined over many different signatures (in the sense of...

Click to read more »
Talk:Dilworth's theorem
Sabtu, 2025-10-25 23:06:15

examples in the article already: the one in the figure, the one involving Boolean lattices, and the one involving divisibility. They are not in a section...

Click to read more »
Talk:Flow cytometry bioinformatics
Jumat, 2024-02-02 06:36:08

vision", in that an overview of the entire dataset is virtually impossible. -Boolean gates can be created (to some extent, automatically in software such as...

Click to read more »
Talk:Java (programming language)/Archive 6
Minggu, 2023-02-19 00:44:52

article Boolean data type: begin removed text In the Java programming language, Boolean variables are represented by the primitive type boolean. The Java...

Click to read more »
Talk:Nontransitive relation
Kamis, 2007-08-30 01:13:05

nontransitivity. In particular, the above sentence is satisfied by the four-element Boolean algebra and by any other partial order that is not a linear order. — Carl...

Click to read more »
Talk:Formal methods
Senin, 2024-03-18 11:15:04

1 (Eat) go to state 2 (Sleep) if the boolean condition 4 (di_true) is true”. Some words about the used boolean algebra here. In the presented concept...

Click to read more »
Talk:Propositional logic/Archive 2
Sabtu, 2025-07-26 17:08:42

see that intuitionistic is a refinement of classical logic is that any Boolean algebra is a Heyting algebra, but not conversely. Otherwise said, intuitionistic...

Click to read more »
Talk:Autovon
Kamis, 2024-12-19 00:54:31

mechanical three stage fully non-blocking network, call processing logic using Boolean logic implemented via multiple AND, NAND, OR, NOR, and FlipFlops on printed...

Click to read more »
Talk:Glossary of Unified Modeling Language terms
Kamis, 2026-05-28 02:40:04

options are: an elementary Value type such as integer, string, date or boolean or a Reference type defined in a Class Seems circular to define Type with...

Click to read more »
Talk:Monotonic function
Rabu, 2025-12-03 02:19:37

2001:1C01:3DC9:F100:C559:8A4D:E9F3:397: I agree that the definition of monotonicity for Boolean functions restricts them to monotonic nondecreasing functions (i.e. without...

Click to read more »
Talk:Type theory
Rabu, 2025-12-31 00:03:46

return one stack. For instance, the "stack" ADT typically has an empty? boolean operation, and a top operation which returns the top element of the stack...

Click to read more »
Talk:Perfect power
Minggu, 2023-08-13 07:23:24

But again, is there an equation for this? Because equations can't have booleans, can they? Jeanlovecomputers (talk) 15:46, 14 February 2010 (UTC) New information:...

Click to read more »
Talk:Molecular graph
Selasa, 2024-02-06 15:50:18

computer program (in Pascal): Var MolecularGraph : array [1..6,1..6] of Boolean; {Adjacency matrix: if atoms i,j are bonded, then MolecularGraph[i,j]=true...

Click to read more »
Talk:New Math
Rabu, 2025-07-30 06:07:36

algebraic inequalities, bases other than 10, matrices, symbolic logic, Boolean algebra, and abstract algebra. In elementary school, in addition to bases...

Click to read more »
Talk:Zogam
Minggu, 2025-06-15 09:35:44

it for the page. For more focused search results, you can also utilize Boolean operators like AND, OR, or NOT. Multiple search phrases entered without...

Click to read more »
Talk:Mathematics Subject Classification
Minggu, 2024-05-12 14:59:08

circles. These circular networks are the 'venn' type diagrams of basic boolean processes.There is a symmetry (beauty)in mathematics that is intuitive...

Click to read more »
Talk:Cox's theorem
Selasa, 2025-05-27 04:52:54

between the referents of A and B. Now, binary propositions obey an algebra (Boolean algebra), and this implies an algebra of probabilities since probabilities...

Click to read more »
Talk:Kogge–Stone adder
Jumat, 2024-02-02 05:03:13

added by Herenvarno (talk • contribs) 20:30, 21 March 2015 (UTC) Some Boolean equations or schematics made of normal gates would help a lot. The page...

Click to read more »
Talk:Magic string
Jumat, 2026-01-23 08:29:04

information that would be better stored using symbolic constants or possibly a boolean variable. And the string could be purely internal, or it could be in a...

Click to read more »
Talk:Constraint satisfaction
Minggu, 2024-01-28 10:26:28

Diego (talk) 21:52, 1 January 2009 (UTC) I believe that one can say that boolean SAT, answer set programming and satisfiability modulo theories are all...

Click to read more »
Talk:Temporal logic
Kamis, 2024-02-01 17:29:42

example, the diagram for the until operator does not distinguish it from a Boolean or. Adding a red bar for p from point 5 to point 6, without extending the...

Click to read more »
Talk:Pascal (programming language)/Archive 1
Minggu, 2022-05-08 03:36:25

that knows how to do that. So for example: a = packed record bit1: boolean; bit2: boolean; .. end; On a compiler that knows how to pack would allow bit fiddling...

Click to read more »
Talk:Clause (logic)
Senin, 2025-09-01 23:29:06

to restricted. "Satisfiability" is very often used as short-hand for "Boolean satisfiability" (i.e. propositional SAT), and thus does not cover the first-order...

Click to read more »
Talk:Time loop logic
Rabu, 2017-11-01 16:26:09

build the non deterministic computer. Comparing both is like comparing boolean logic and modern computers. It could obey Novikov's principle, or maybe...

Click to read more »
Talk:Java annotation
Kamis, 2024-10-10 02:52:44

true) @Edible(true) Item item = new Carrot(); public @interface Edible { boolean value() default false; } @Author(first = "Oompah", last = "Loompah") Book...

Click to read more »
Talk:Boeing–Sikorsky RAH-66 Comanche/GA1
Minggu, 2023-02-26 18:32:02

report. -Fnlayson (talk) 18:00, 6 September 2011 (UTC) "Stealth" is not boolean. Calling it the "first stealth helicopter" might be slightly misleading...

Click to read more »
Talk:Distributive property
Sabtu, 2024-11-23 21:38:33

property#Notions of antidistributivity says In the study of propositional logic and Boolean algebra, the term antidistributive law is sometimes used to denote the...

Click to read more »
Talk:Search engine
Jumat, 2026-08-14 11:38:05

notice that it skews the general search as well. The "advanced" feature and Boolean Search are most important for the user, not so much the technicalities...

Click to read more »
Talk:Pong Su incident
Minggu, 2024-03-10 06:10:27

available here: http://www.austlii.edu.au/cgi-bin/sinosrch.cgi?method=boolean;query=Pong%20Su;meta=%2Fau;mask_path=;offset=0;view=date There are more...

Click to read more »