Тавтология 13

ЕЧИМИ. ж) Мантиқий боғланишлар таърифидан фойдаланиб, (яъни мулоҳазалар устидаги амаллар) берилган формуланинг ростлик жадвалини тузамиз. Бу формуланинг ростлик қийматлари жадвалининг охирги устунида келтирилади.

				(		
0 0 1 1	0 1 0 1	1 0 1 0	1 0 1 1	0 1 0 1	1 1 0 0	1 1 0 1	0 1 0 1

Бу жадвалнинг охирги устунидан кўриняптики, берилган формула бажарилувчи экан, масалан Р ўзгарувчининг ўрнига ёлғон, Q ўзгарувчининг ўрнига рост мулоҳазаларни қўйсак натижада формула рост мулоҳазага айланади. Бундан ташқари бу формула инкор қилинувчи ҳамдир, чунки масалан Р ўзгарувчи ўрнига рост, Q ўзгарувчи ўрнига ёлғон мулоҳазаларни қўйсак. натижада формула ёлғон мулоҳазага айланади. Бундан берилган формула на тавтология бўлолмайди, на айнан ёлғон формула бўлолмаслиги келиб чиқади.