„Szerkesztő:Kizin/próba” változatai közötti eltérés
Tartalom törölve Tartalom hozzáadva
Nincs szerkesztési összefoglaló |
|||
251. sor:
= Normálformák =
; Definíció (teljes diszjunktív normálforma)
: mindegyik φ<sub>i</sub>-ben mindegyik p<sub>j</sub> szerepel negálva vagy negálatlanul
; Tétel
: Tetszőleges igazságfüggvényhez megadható olyan formula, amelyben csak a ¬, ∨, ∧ logikai jelek szerepelnek, és amely éppen azt az igazságfüggvényt definiálja.
; Bizonyítás
|