2022-10-18

universityexercisessubject-1104

2022-10-18

Strutture Discrete

page=30
1.
Conversione in CNF

Conversione da CNF in DNF

CNF

DNF

CNF

DNF

Ultimo step: Se è vero, la relazione può essere vera, se è falso, la relazione non può essere vera.
Di conseguenza, se è vero, si controlla : se è vero, allora la formula è vera, se è falsa, si controlla a prescindere, quindi è inutile.

CNF

DNF