((((a NOR c) NOR (a NOR d)) NOR (b NOR c)) NOR (b NOR d))