Új hozzászólás Aktív témák

• #305 Enton addikt bodó #304

  Új Válasz 2010-06-29 18:51:00 #305

  Új hozzászólás

  Összes hozzászólása itt Válaszok az összes hozzászólására itt Válaszok erre a hozzászólásra

  Privát üzenet küldése

  

  Enton

  addikt

  válasz bodó #304 üzenetére

  Azzal sokra nem megyünk.
  Az csak egy feladat, vagy egyse.
  Normálalakok:

  Egy atomi formulát vagy negáltját literálnak fogjuk nevezni.
  Elemi konjunkció:
  1. egy literál,
  2. vagy egy elemi konjunkcióés egy literál konjukciója.
  Elemi diszjunkció
  1. egy literál,
  2. vagy egy elemi diszjunkció és egy literál diszjunkciója

  Konjnuktív normálforma:
  1. egy elemi diszjunkció
  2. vagy egy elemi konjunktív normálforma és egy elemi diszjunkció kunjunkciója.
  Diszjunktív normálforma:
  1. egy elemi kunjunkció
  2. vagy egy diszjunktív normálforma és egy elemi konjunkció diszjunkciója.

  Minden ítéletlogikai formulához konstruktálható vele logikailag ekvivalens konjunktív és diszjunktív normálforma.

Új hozzászólás Aktív témák