diff -r c47efadcaee1 -r b794db0b79db BooleanGrammar/LogicProgramWithNegation.pdf
Binary file BooleanGrammar/LogicProgramWithNegation.pdf has changed