Tag propositional-logic - Esta é a página 14 - GeneraCodice

Relations between statements involving universal quantifier, conditional and biconditional

https://www.generacodice.com/pt/articolo/1562162/relations-between-statements-involving-universal-quantifier-conditional-and-biconditional
  logic  -  first-order-logic  -  propositional-logic
cs.stackexchange cs.stackexchange

How to find a minimum set of axioms within a set of propositions?

https://www.generacodice.com/pt/articolo/1561859/how-to-find-a-minimum-set-of-axioms-within-a-set-of-propositions
  algorithms  -  sets  -  propositional-logic
cs.stackexchange cs.stackexchange

Find hamilton cycle in a directed graph reduced to sat problem

https://www.generacodice.com/pt/articolo/1560823/find-hamilton-cycle-in-a-directed-graph-reduced-to-sat-problem
  satisfiability  -  graphs  -  hamiltonian-path  -  propositional-logic  -  hamiltonian-circuit
cs.stackexchange cs.stackexchange

Non-deterministic algorithms and Tautologies

https://www.generacodice.com/pt/articolo/1560208/non-deterministic-algorithms-and-tautologies
  logic  -  satisfiability  -  nondeterminism  -  propositional-logic
cs.stackexchange cs.stackexchange

Size of Propositional Formula

https://www.generacodice.com/pt/articolo/1560196/size-of-propositional-formula
  complexity-theory  -  logic  -  propositional-logic
cs.stackexchange cs.stackexchange

Boolean algebraic expression vs Propositional logic expression

https://www.generacodice.com/pt/articolo/1548655/boolean-algebraic-expression-vs-propositional-logic-expression
  propositional-logic  -  boolean-algebra
cs.stackexchange cs.stackexchange

Operator precedence in propositional logic

https://www.generacodice.com/pt/articolo/1546974/operator-precedence-in-propositional-logic
  logic  -  notation  -  propositional-logic
cs.stackexchange cs.stackexchange

Is there a known way to convert any $QBF_2$-formula into an equisatisfiable $QBF_2$-formula in CNF in polynomial time?

https://www.generacodice.com/pt/articolo/1544209/is-there-a-known-way-to-convert-any-qbf-2-formula-into-an-equisatisfiable-qbf-2-formula-in-cnf-in-polynomial-time
  polynomial-time  -  propositional-logic
cs.stackexchange cs.stackexchange

FP^NP-complete problems

https://www.generacodice.com/pt/articolo/1535525/fp-np-complete-problems
  complexity-theory  -  complexity-classes  -  propositional-logic
cs.stackexchange cs.stackexchange

Can a propositional threshold connective be expressed by standard connectives?

https://www.generacodice.com/pt/articolo/1535356/can-a-propositional-threshold-connective-be-expressed-by-standard-connectives
  logic  -  propositional-logic
cs.stackexchange cs.stackexchange
Resultados encontrados: 159
scroll top