Виділимо атоми, їх три: – «6 ділиться на 3», – «10 більше 5», – «7 більше 10».
Тоді висловлення 1) буде відповідати формулі , висловлення 2) буде відповідати формулі . Будемо вважати, що висловлення і істинні, а висловлення хибне. Використовуючи істиннісні значення висловлень , визначимо значення висловлень 1) і 2): ; .
Завдання 4. Виключити якомога більше число дужок у формулах:
– «6 ділиться на 3», 
– «10 більше 5», 
– «7 більше 10».
, висловлення 2) буде відповідати формулі 
. Будемо вважати, що висловлення 
і 
істинні, а висловлення 
, визначимо значення висловлень 1) і 2): 
; 
.
; б) 
.