Universal truth tables and normal forms | IEEE Journals & Magazine | IEEE Xplore