apparently noone knows ada. but can anyone help me with boolean algebra and de morgan's laws?