Preguntas etiquetadas con boolean-algebra

¿Cómo podría expresar una puerta AND usando solo puertas XOR?

21 logic  boolean-algebra 

xorpuerta, ahora necesito construir esta puerta usando solo 4 nandpuertas a b out 0 0 0 0 1 1 1 0 1 1 1 0 el xor = (a and not b) or (not a and b), que es A¯¯¯¯B+AB¯¯¯¯A¯B+AB¯\begin{split}\overline{A}{B}+{A}\overline{B}\end{split} Sé la respuesta, pero ¿cómo obtener el diagrama de compuerta …

17 logic  boolean-algebra 

Una función booleana es una función .f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\} Se sabe que la base booleana es Turing completa ya que permite que cualquier secuencia se voltee o se deje sin cambios. Lo mismo puede decirse de las puertas .s ∈ { 0 , 1 } X O R(∨,∧)(∨,∧)(\vee,\wedge)s∈{0,1}s∈{0,1}s\in\{0,1\}XORXOR\mathrm{XOR} En este sentido, podemos …

9 turing-machines  turing-completeness  boolean-algebra 

Recientemente hablé con un amigo sobre un sitio web que propuso desafíos de expresiones regulares, principalmente haciendo coincidir un grupo de palabras con una propiedad especial. Estaba buscando una expresión regular que coincida con cadenas como ||||||||donde el número |es primo. Inmediatamente le dije que eso nunca funcionaría porque si …

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