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

• #4988 deiksupp csendes tag

  Új Válasz 2016-12-16 23:45:20 #4988

  Ú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

  

  deiksupp

  csendes tag

  #matlog

  Sziasztok, ennek a formulának: (Z ⊃ X) ⊃ (¬(Y ∨ Z) ⊃ X)
  a DNF & KNF alakja a következő:
  (Z ∧ ¬X)∨Y∨Z∨X amit lehet egyszerűsíteni: Y∨Z∨X, ez így elemi diszjunkció lesz ami rendben is van, de a
  (Z ∧ ¬X) formula az miért kerül ki? Milyen szabály lett itt alkalmazva?

  Köszönöm a válaszokat.

  [ Szerkesztve ]

• #4990 deiksupp csendes tag skoda12 #4989

  Új Válasz 2016-12-17 15:13:19 #4990

  Ú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

  

  deiksupp

  csendes tag

  válasz skoda12 #4989 üzenetére

  Köszönöm, tehát röviden ha jól értem, azt a formulát egy vele ekvivalens (és kongruens?) formulával le lehet rövidíteni.

• #5730 deiksupp csendes tag

  Új Válasz 2019-09-06 02:10:06 #5730

  Ú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

  

  deiksupp

  csendes tag

  Sziasztok, integrálás tanulásáshoz tudnátok ajánlani könyvet? Lehetőleg olyat, ami a nulláról vezetne be.

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