Perguntas com a marcação «boolean-algebra»

Como expressar um portão AND usando apenas portões XOR?

21 logic  boolean-algebra 

xorportão, agora preciso construir este portão usando apenas quatro nandportão a b out 0 0 0 0 1 1 1 0 1 1 1 0 o xor = (a and not b) or (not a and b), que é A¯¯¯¯B+AB¯¯¯¯A¯B+AB¯\begin{split}\overline{A}{B}+{A}\overline{B}\end{split} Eu sei a resposta, mas como obter o diagrama da …

16 logic  boolean-algebra 

Uma função booleana é uma função .f: { 0 , 1 }n→ { 0 , 1 }f:{0 0,1 1}n→{0 0,1 1}f:\{0,1\}^n\rightarrow\{0,1\} A base booleana é conhecida por ser Turing completa, pois permite que qualquer sequência s ∈ { 0 , 1 } seja invertida ou permaneça inalterada. O mesmo pode …

9 turing-machines  turing-completeness  boolean-algebra 

Recentemente, conversei com um amigo sobre um site que propunha desafios regex, combinando principalmente um grupo de palavras com uma propriedade especial. Ele estava procurando por um regex que corresponda a cadeias de caracteres como ||||||||onde o número de |é primo. Eu imediatamente disse a ele que nunca funcionaria, porque …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols