English words for '(logic) A binary operator composite of NOT AND; negation of AND function.'
Closest matches for "(logic) A binary operator composite of NOT AND; negation of AND function." are ranked by semantic fit across dictionary definitions.
Search results
noun
- (logic) A logical system or fragment thereof not containing a negation operator.
- (electrical engineering) The use of the higher voltage level to represent the Boolean value 1 and the lower voltage level to represent the Boolean value 0. For instance: ~5v is equal to logical 1₂, and ~0v is equal to 0₂.
noun
- (algebra, logic, computing) Specifically, an algebra in which all elements can take only one of two values (typically 0 and 1, or "true" and "false") and are subject to operations based on AND, OR and NOT
- (algebra) An algebraic structure (Σ,∨,∧,∼,0,1) where ∨ and ∧ are idempotent binary operators, ∼ is a unary involutory operator (called "complement"), and 0 and 1 are nullary operators (i.e., constants), such that (Σ,∨,0) is a commutative monoid, (Σ,∧,1) is a commutative monoid, ∧ and ∨ distribute with respect to each other, and such that combining two complementary elements through one binary operator yields the identity of the other binary operator. (See Boolean algebra (structure)#Axiomatics.)
- (mathematics) The study of such algebras; Boolean logic, classical logic.
- a system of symbolic logic devised by George Boole; used in computers
noun
- (logic) The binary operator inclusive or, true if one at least one of two inputs is true. In infix notation.
- (anatomy, countable) Initialism of olfactory receptor.
- (sciences, uncountable) Initialism of operations research.
- (Philippines, accounting, business, countable) Initialism of official receipt.
- (military) Initialism of other ranks.
- (chiefly Wikimedia jargon) Initialism of original research.
- (healthcare, countable) Initialism of operating room.
- (sports, countable) Initialism of Olympic Record.
- (anatomy, countable) Initialism of odorant receptor.
- a room in a hospital equipped for the performance of surgical operations
conj
name
conj
- (logic) An operator denoting the disjunction of two propositions or truth values. There are two forms, the inclusive or and the exclusive or.
- Connects two equivalent names.
- Otherwise (a consequence of the condition that the previous is false).
- Connects at least two alternative words, phrases, clauses, sentences, etc., each of which could make a passage true.
- Counts the elements before and after as two possibilities.
adj
noun
contraction
noun
- (logic) An alternate form of the logical negation operator, which is usually written as ¬.
- The character encoded as decimal 126 in the 1967 ASCII character set, and later in the 1992 Unicode character set.
- A punctuation mark that indicates range (from a number to another number). This use is common in Asia, where the symbol in this case is also called a wave dash.
- In lexicography, the ⟨~⟩ symbol is used used to indicate the repetition of the topical word or item. In this case, the symbol is also called a swung dash.
- May be used to represent approximation, in English prose and in mathematics. For example, “My dog weighs ~30 pounds.”
- A symbol ⟨~⟩, with various names and uses, also known as swung dash or wave dash. In the computer industry, various other names may be used, such as squiggle and twiddle.
- In Portuguese, ⟨ã⟩ and ⟨õ⟩ are nasalized vowels, for example in ⟨canção⟩.
- In Spanish, ⟨ñ⟩ is a palatalized ⟨n⟩, for example in ⟨cañón⟩.
- Another name for the Vietnamese tone mark dấu ngã, which is placed above a vowel to indicate a creaky rising tone (thanh ngã).
- Another name for apex, a curved diacritic used in the 17th century to mark final nasalization in the early Vietnamese alphabet. It was an adoption of the Portuguese tilde.
- a diacritical mark (~) placed over the letter n in Spanish to indicate a palatal nasal sound or over a vowel in Portuguese to indicate nasalization
noun
adv
- (ironic, informal, originally African-American Vernacular) Used before a non-finite clause (especially a gerund-participial clause) or less commonly a determiner phrase to ironically convey some attitude (e.g. surprise, incredulity, amusement, embarrassment) towards something.
- Negates the meaning of the modified verb.
- Used before a determiner phrase, a pronominal phrase etc. to convey a negative attitude (e.g. denial, sadness, anger) towards something.
- To no degree.
- (litotes) Used to indicate the opposite or near opposite, often in a form of understatement.
- negation of a word or group of words
conj
intj
noun
- (logic) The proposition resulting from the combination of two or more propositions using the ∧ ( and ) operator.
- (astrology) An aspect in which planets are in close proximity to one another.
- (grammar) A word used to join other words, phrases, or clauses together into sentences. (The specific conjunction used shows how the two joined parts are related semantically.)
- The act of joining, or condition of being joined.
- (astronomy) The alignment of two bodies in the solar system such that they have the same longitude when seen from Earth.
- A place where multiple things meet.
- Cooccurrence; coincidence.
- the state of being joined together
- something that joins or connects
- the grammatical relation between linguistic units (words or phrases or clauses) that are connected by a conjunction
- the temporal property of two things happening at the same time
- an uninflected function word that serves to conjoin words or phrases or clauses or sentences
- (astronomy) apparent meeting or passing of two or more celestial bodies in the same degree of the zodiac
noun
- (logic) The proposition resulting from the combination of two or more propositions using the or operator.
- (mathematics) A logical operator that results in “true” when any of its operands are true.
- (biology) During meiosis, the separation of chromosomes (homologous in meiosis I, and sister chromatids in meiosis II).
- The state of being disjoined, contrasting, or opposing.
- The act of disjoining; disunion, separation.
- the act of breaking a connection
- state of being disconnected
noun
- (mathematics) An absence of operators in an expression.
- (rhetoric) The close placement of two ideas to imply a link that may not exist.
- The nearness of objects with little or no delimiter.
- The extra emphasis given to a comparison when the contrasted objects are close together.
- (grammar) An absence of linking elements in a group of words that are listed together.
- (art) Two or more contrasting sounds, colours, styles etc. placed together for stylistic effect.
- the act of positioning close together (or side by side)
- a side-by-side position
verb
contraction
adj
- (mathematics) Having a dual that is nonnegative.
- Partially positive in attitude etc.
- (materials engineering) A type of compression mold for plastics that allows for excess powder and flash, as in an open flash mold, but which allows for lower melt viscosities as in a fully positive mold.
- (mathematics) Having all elements nonnegative where at least one is positive.
adj
- (algebra, of a binary operator *) Such that, for any operands a,b and c, (a*b)*c=a*(b*c); (of a ring, etc.) whose multiplication operation is associative.
- Pertaining to, resulting from, or characterised by association; capable of associating; tending to associate or unite.
- (computing) Addressable by a key more complex than an integer index.
- characterized by or causing or resulting from the process of bringing ideas or events together in memory or imagination
noun
- (logic, countable) A proposition which is the contradictory of another proposition and which can be obtained from that other proposition by the appropriately placed addition/insertion of the word "not". (Or, in symbolic logic, by prepending that proposition with the symbol for the logical operator "not".)
- (logic) The logical operation which obtains such (negated) propositions.
- (uncountable) The act of negating something.
- (countable) A denial or contradiction.
- a negative statement; a statement that is a refusal or denial of some other statement
- the speech act of negating
- (logic) a proposition that is true if and only if another proposition is false
contraction
adj
- (algebra) Whose salient properties apply when (the specified object) appears on either side of a given binary operator.
- (figuratively) Having two aspects or viewpoints.
- Having two sides, bilateral.
- (logic, of a modality) That is necessarily or absolutely different than the respective coordinate alethic or temporal modality as well as its opposite.
- Reversible.
- having two sides or parts
- capable of being reversed or used with either side out
noun
- (mathematics) A binary function, written as δ with two subscripts, which evaluates to 1 when its arguments are equal, and 0 otherwise.
- (mathematics) A unary function, written as δ with a single index, which evaluates to 1 at zero, and 0 elsewhere.
- a function of two variables i and j that equals 1 when i=j and equals 0 otherwise
adj
- of or relating to a combinatorial system devised by George Boole that combines propositions with the logical operators AND and OR and IF THEN and EXCEPT and NOT
- (logic, computing) Pertaining to data items that can have “true” and “false” (or, equivalently, 1 and 0 respectively) as their only possible values and to operations on such values.
- Of or pertaining to the work of George Boole.
noun
adj
- (logic, of a proposition) Lacking logical operators; unable to be made simpler in logical form.
- Unable to be split or made any smaller.
- Employing or relating to nuclear energy or processes.
- (programming, of a commit in a VCS) Containing a single change, as opposed to involving numerous unrelated changes.
- (computing, of an operation) Guaranteed to complete either fully or not at all while waiting in a pause, and running synchronously when called by multiple asynchronous threads.
- (order theory, of a partially ordered set with a least element 0) Such that for every element b>0 there exists an atom a such that b≥a>0.
- Infinitesimally small.
- (colloquial, by extension) Very strong and overpowering.
- (physics, chemistry) Of or relating to atoms; composed of atoms; monatomic.
- (weapons) deriving destructive energy from the release of atomic energy
- of or relating to or comprising atoms
- immeasurably small
noun
noun
- (logic) The negation in logic.
- Refusal to believe that a problem exists.
- (psychology) A defense mechanism involving a refusal to accept the truth of a phenomenon or prospect.
- An assertion of untruth.
- A refusal or failure to provide or grant something that is requested or desired.
- A disownment or disavowal
- Refusal to admit responsibility for wrongdoing.
- Negationism, denialism of historical facts or accepted interpretation.
- the act of asserting that something alleged is not true
- a defendant's answer or plea denying the truth of the charges against them
- (psychiatry) a defense mechanism that denies painful thoughts
- the act of refusing to comply (as with a request)
- renunciation of your own interests in favor of the interests of others
contraction
noun
- (logic) An operator, such as the universal quantifier (written as ∀) or the existential quantifier (∃), used in predicate calculus to indicate the degree that predicate is true for a specified set.
- (grammar) A word, such as all or many, that expresses the quantity of a related noun.
- (computing) A symbol or symbols in a regular expression indicating the number of characters to be matched.
- (logic) a word (such as ‘some’ or ‘all’ or ‘no’) that binds the variables in a logical proposition
- (grammar) a word that expresses a quantity (as ‘fifteen’ or ‘many’)
noun
- (logic) The operator, represented by the symbol ∀, used in predicate calculus to indicate that a predicate is true for all members of a specified set. Verbal equivalents include "for each" and "for every".
- a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things
adj
- (logic) Of a set of statements: such that no contradiction logically follows from them.
- Compatible, accordant.
- Of a regularly occurring, dependable nature.
- the same throughout in structure or composition
- marked by an orderly, logical, and aesthetically consistent relation of parts
- (sometimes followed by ‘with’) in agreement or consistent or reliable
- capable of being reproduced
noun
noun
- (logic) A logical system or fragment thereof not containing a negation operator.
- (electrical engineering) The use of the higher voltage level to represent the Boolean value 1 and the lower voltage level to represent the Boolean value 0. For instance: ~5v is equal to logical 1₂, and ~0v is equal to 0₂.
noun
- (algebra, logic, computing) Specifically, an algebra in which all elements can take only one of two values (typically 0 and 1, or "true" and "false") and are subject to operations based on AND, OR and NOT
- (algebra) An algebraic structure (Σ,∨,∧,∼,0,1) where ∨ and ∧ are idempotent binary operators, ∼ is a unary involutory operator (called "complement"), and 0 and 1 are nullary operators (i.e., constants), such that (Σ,∨,0) is a commutative monoid, (Σ,∧,1) is a commutative monoid, ∧ and ∨ distribute with respect to each other, and such that combining two complementary elements through one binary operator yields the identity of the other binary operator. (See Boolean algebra (structure)#Axiomatics.)
- (mathematics) The study of such algebras; Boolean logic, classical logic.
- a system of symbolic logic devised by George Boole; used in computers
noun
- (logic) The binary operator inclusive or, true if one at least one of two inputs is true. In infix notation.
- (anatomy, countable) Initialism of olfactory receptor.
- (sciences, uncountable) Initialism of operations research.
- (Philippines, accounting, business, countable) Initialism of official receipt.
- (military) Initialism of other ranks.
- (chiefly Wikimedia jargon) Initialism of original research.
- (healthcare, countable) Initialism of operating room.
- (sports, countable) Initialism of Olympic Record.
- (anatomy, countable) Initialism of odorant receptor.
- a room in a hospital equipped for the performance of surgical operations
conj
name
noun
- (logic) An alternate form of the logical negation operator, which is usually written as ¬.
- The character encoded as decimal 126 in the 1967 ASCII character set, and later in the 1992 Unicode character set.
- A punctuation mark that indicates range (from a number to another number). This use is common in Asia, where the symbol in this case is also called a wave dash.
- In lexicography, the ⟨~⟩ symbol is used used to indicate the repetition of the topical word or item. In this case, the symbol is also called a swung dash.
- May be used to represent approximation, in English prose and in mathematics. For example, “My dog weighs ~30 pounds.”
- A symbol ⟨~⟩, with various names and uses, also known as swung dash or wave dash. In the computer industry, various other names may be used, such as squiggle and twiddle.
- In Portuguese, ⟨ã⟩ and ⟨õ⟩ are nasalized vowels, for example in ⟨canção⟩.
- In Spanish, ⟨ñ⟩ is a palatalized ⟨n⟩, for example in ⟨cañón⟩.
- Another name for the Vietnamese tone mark dấu ngã, which is placed above a vowel to indicate a creaky rising tone (thanh ngã).
- Another name for apex, a curved diacritic used in the 17th century to mark final nasalization in the early Vietnamese alphabet. It was an adoption of the Portuguese tilde.
- a diacritical mark (~) placed over the letter n in Spanish to indicate a palatal nasal sound or over a vowel in Portuguese to indicate nasalization
noun
adv
- (ironic, informal, originally African-American Vernacular) Used before a non-finite clause (especially a gerund-participial clause) or less commonly a determiner phrase to ironically convey some attitude (e.g. surprise, incredulity, amusement, embarrassment) towards something.
- Negates the meaning of the modified verb.
- Used before a determiner phrase, a pronominal phrase etc. to convey a negative attitude (e.g. denial, sadness, anger) towards something.
- To no degree.
- (litotes) Used to indicate the opposite or near opposite, often in a form of understatement.
- negation of a word or group of words
conj
intj
noun
- (logic) The proposition resulting from the combination of two or more propositions using the ∧ ( and ) operator.
- (astrology) An aspect in which planets are in close proximity to one another.
- (grammar) A word used to join other words, phrases, or clauses together into sentences. (The specific conjunction used shows how the two joined parts are related semantically.)
- The act of joining, or condition of being joined.
- (astronomy) The alignment of two bodies in the solar system such that they have the same longitude when seen from Earth.
- A place where multiple things meet.
- Cooccurrence; coincidence.
- the state of being joined together
- something that joins or connects
- the grammatical relation between linguistic units (words or phrases or clauses) that are connected by a conjunction
- the temporal property of two things happening at the same time
- an uninflected function word that serves to conjoin words or phrases or clauses or sentences
- (astronomy) apparent meeting or passing of two or more celestial bodies in the same degree of the zodiac
noun
- (logic) The proposition resulting from the combination of two or more propositions using the or operator.
- (mathematics) A logical operator that results in “true” when any of its operands are true.
- (biology) During meiosis, the separation of chromosomes (homologous in meiosis I, and sister chromatids in meiosis II).
- The state of being disjoined, contrasting, or opposing.
- The act of disjoining; disunion, separation.
- the act of breaking a connection
- state of being disconnected
noun
- (mathematics) An absence of operators in an expression.
- (rhetoric) The close placement of two ideas to imply a link that may not exist.
- The nearness of objects with little or no delimiter.
- The extra emphasis given to a comparison when the contrasted objects are close together.
- (grammar) An absence of linking elements in a group of words that are listed together.
- (art) Two or more contrasting sounds, colours, styles etc. placed together for stylistic effect.
- the act of positioning close together (or side by side)
- a side-by-side position
verb
noun
- (logic, countable) A proposition which is the contradictory of another proposition and which can be obtained from that other proposition by the appropriately placed addition/insertion of the word "not". (Or, in symbolic logic, by prepending that proposition with the symbol for the logical operator "not".)
- (logic) The logical operation which obtains such (negated) propositions.
- (uncountable) The act of negating something.
- (countable) A denial or contradiction.
- a negative statement; a statement that is a refusal or denial of some other statement
- the speech act of negating
- (logic) a proposition that is true if and only if another proposition is false
noun
- (mathematics) A binary function, written as δ with two subscripts, which evaluates to 1 when its arguments are equal, and 0 otherwise.
- (mathematics) A unary function, written as δ with a single index, which evaluates to 1 at zero, and 0 elsewhere.
- a function of two variables i and j that equals 1 when i=j and equals 0 otherwise
noun
- (logic) The negation in logic.
- Refusal to believe that a problem exists.
- (psychology) A defense mechanism involving a refusal to accept the truth of a phenomenon or prospect.
- An assertion of untruth.
- A refusal or failure to provide or grant something that is requested or desired.
- A disownment or disavowal
- Refusal to admit responsibility for wrongdoing.
- Negationism, denialism of historical facts or accepted interpretation.
- the act of asserting that something alleged is not true
- a defendant's answer or plea denying the truth of the charges against them
- (psychiatry) a defense mechanism that denies painful thoughts
- the act of refusing to comply (as with a request)
- renunciation of your own interests in favor of the interests of others
noun
- (logic) An operator, such as the universal quantifier (written as ∀) or the existential quantifier (∃), used in predicate calculus to indicate the degree that predicate is true for a specified set.
- (grammar) A word, such as all or many, that expresses the quantity of a related noun.
- (computing) A symbol or symbols in a regular expression indicating the number of characters to be matched.
- (logic) a word (such as ‘some’ or ‘all’ or ‘no’) that binds the variables in a logical proposition
- (grammar) a word that expresses a quantity (as ‘fifteen’ or ‘many’)
noun
- (logic) The operator, represented by the symbol ∀, used in predicate calculus to indicate that a predicate is true for all members of a specified set. Verbal equivalents include "for each" and "for every".
- a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things
No matching words found. Try a broader description.
adj
- (mathematics) Having a dual that is nonnegative.
- Partially positive in attitude etc.
- (materials engineering) A type of compression mold for plastics that allows for excess powder and flash, as in an open flash mold, but which allows for lower melt viscosities as in a fully positive mold.
- (mathematics) Having all elements nonnegative where at least one is positive.
adj
- (algebra, of a binary operator *) Such that, for any operands a,b and c, (a*b)*c=a*(b*c); (of a ring, etc.) whose multiplication operation is associative.
- Pertaining to, resulting from, or characterised by association; capable of associating; tending to associate or unite.
- (computing) Addressable by a key more complex than an integer index.
- characterized by or causing or resulting from the process of bringing ideas or events together in memory or imagination
adj
- (algebra) Whose salient properties apply when (the specified object) appears on either side of a given binary operator.
- (figuratively) Having two aspects or viewpoints.
- Having two sides, bilateral.
- (logic, of a modality) That is necessarily or absolutely different than the respective coordinate alethic or temporal modality as well as its opposite.
- Reversible.
- having two sides or parts
- capable of being reversed or used with either side out
adj
- of or relating to a combinatorial system devised by George Boole that combines propositions with the logical operators AND and OR and IF THEN and EXCEPT and NOT
- (logic, computing) Pertaining to data items that can have “true” and “false” (or, equivalently, 1 and 0 respectively) as their only possible values and to operations on such values.
- Of or pertaining to the work of George Boole.
noun
adj
- (logic, of a proposition) Lacking logical operators; unable to be made simpler in logical form.
- Unable to be split or made any smaller.
- Employing or relating to nuclear energy or processes.
- (programming, of a commit in a VCS) Containing a single change, as opposed to involving numerous unrelated changes.
- (computing, of an operation) Guaranteed to complete either fully or not at all while waiting in a pause, and running synchronously when called by multiple asynchronous threads.
- (order theory, of a partially ordered set with a least element 0) Such that for every element b>0 there exists an atom a such that b≥a>0.
- Infinitesimally small.
- (colloquial, by extension) Very strong and overpowering.
- (physics, chemistry) Of or relating to atoms; composed of atoms; monatomic.
- (weapons) deriving destructive energy from the release of atomic energy
- of or relating to or comprising atoms
- immeasurably small
noun
adj
- (logic) Of a set of statements: such that no contradiction logically follows from them.
- Compatible, accordant.
- Of a regularly occurring, dependable nature.
- the same throughout in structure or composition
- marked by an orderly, logical, and aesthetically consistent relation of parts
- (sometimes followed by ‘with’) in agreement or consistent or reliable
- capable of being reproduced