Boolesche Felder zur Behandlung des Erfüllbarkeitsproblems für konjunktive Normalformen
 

 - Die Seite ist noch in Bearbeitung - 


SUDOKUS

SUDOKU.pdf (199.2KB)
SUDOKU.pdf (199.2KB)


3-dimensionale Felder und renamable Horn Formeln


Implikationen, die durch die Feldprodukte erfüllt werden


Die Para-2-KNF


Das lateinische 3x3-Quadrat