Boolean difference works from function specification like you look at the previous slide, we started with this specification of a function as a Boolean expression from there we did everything right?
మీరు మునుపటి స్లయిడ్ ను చూసినట్లుగా ఫంక్షన్ స్పెసిఫికేషన్ నుండి బూలియన్ వ్యత్యాసం పనిచేస్తుంది, మేము ఒక ఫంక్షన్ యొక్క ఈ స్పెసిఫికేషన్ తో బూలియన్ వ్యక్తీకరణగా ప్రారంభించాము, అక్కడ నుండి మేము ప్రతిదీ సరిగ్గా చేసాము?