Даны четыре простых высказывания:
А – «Человек приходит в книжный магазин»,
В – «Есть нужная книга»,
С – «Человек покупает книгу»,
D – «Человек уходит из магазина».
Тогда логической формулой

записывается выражение …
«Если человек приходит в книжный магазин, то, если есть нужная книга, человек покупает книгу и если нужной книги нет, то человек уходит из магазина»
«Человек приходит в книжный магазин, и если есть нужная книга, то человек покупает книгу, или если нужной книги нет, то человек уходит из магазина»
«Если человек приходит в книжный магазин, то человек покупает книгу тогда и только тогда, когда нужная книга есть, и если нужной книги нет, то человек уходит из магазина»
«Если человек приходит в книжный магазин, то, если есть нужная книга, человек покупает книгу или если нужной книги нет, то человек уходит из магазина»