Проверить различными способами выполняется ли равенство:

не (a / b) / не не b = не (a  / b) /  b = не a /  не b / b = a / 1 = 1
не (a / b) / не не b = не ( a / b /  не b) = не ( a / 0) = не 0 = 1
равенство не выполняется