Раз вам не интересен аналитический метод, можете применить эмпирический.
Для каждого состояния переменных ABCD считаете F как в схеме, так и в своем выражении.
Если F одинаковые получаются. Значит, выражение эквивалентно схеме.
A B C D F
0 0 0 0 ?
0 0 0 1 ?
0 0 1 0 ?
0 0 1 1 ?
0 1 0 0 ?
0 1 0 1 ?
0 1 1 0 ?
0 1 1 1 ?
1 0 0 0 ?
1 0 0 1 ?
1 0 1 0 ?
1 0 1 1 ?
1 1 0 0 ?
1 1 0 1 ?
1 1 1 0 ?
1 1 1 1 ?