Postgresql Create Table Boolean Laws