CZU_2_ARP - KNF & DNF

up:: ARP nav:: ⇐ / → (Obvod)

• 🔗C1

Transclude of mix---Logika#^teorie

Teorie

• Pojmy
  • Literál = (negace) logická proměnná
  • DNF = OR - (A ∧ B) ∨ (C ∧ D)
  • KNF = AND - (A ∨ B) ∧ (C ∨ D)
• Převod
  • ekvivalentních úprav
  • pravdivostní tabulky
  • Karnaughovy mapy
    • n=1 - pravdivostní tabulka
    • bazická matice

Karnaughova mapa

• Postup
  • Create
    • tabulka: od nuly a jednicky k sobe 00|01|11|10
    • kontrola: stejný počet 0
  • Find
    • co největší / nejmenší počet
      • hledáme count mocniny 2
    • můžou se překrývat
    • je to dunut ⇒ okraj jde na druhou stranu
  • Translate
    • psát proměnné které se nemění
      • if nemění (both 0,1) ⇒ napsat
        • 0 = negace
    • Into
      • DNF = 1
      • KNF = 0 (přidat negaci)
      • how
        • skupina $\wedge$
        • skupiny $\vee$