logik chapter (about truth tables)