logic homework

A B (! (A || B)) == ((! A) && (! B))