((a nor a) nor a) nor ((a nor b) nor a)