АNDрование законы Де-Моргана, это выражение можно упростить следующим образом:

не ( не А или В) и В
=> (А или не В) и В
=> (А и В) или (не В и В)
=> А и В

Таким образом, упрощенное логическое выражение будет АNDна.