Was given this to figure out. He said its mathematical, no its not homework. More of one guy trying to prove he is smarter than me.
(!(a&&b)) == |!a||!b| T !(a||b) == !a&&!b
I think it might be some symbolic logic, but couldn't figure out from reading about symbolic mathematics from google searches. That is only my guess.