Forma normal FOYCE-CODD