Login / Signup

Normal form generation of S5 functions via truth functions.

Gerald J. Massey
Published in: Notre Dame J. Formal Log. (1968)
Keyphrases
  • normal form
  • functional dependencies
  • multi valued