Форма представления однотипных данных. что это?

таблица истинности выражения a → b

а |  b | a → b

0  i  0 |      1

0  i  1 |      1

1  i  0 |      0

1  i  1 |      1

теперь пример: ¬((x> 3)  → (x> 4))

при х = 1: ¬((1> 3)  → (1> 4))= ¬((0)  → (0))=¬(1) = 0,т.е.(1> 3)=ложь(> 4)=ложь(0), а ложь(0) → ложь(0) = истина (1), а отрицание лжи (0) = истина(1)

при х = 2: ¬((2> 3)  → (2> 4))= ¬((0)  → (0))=¬(1) = 0

при х = 3: ¬((3> 3)  → (3> 4))= ¬((0)  → (0))=¬(1) = 0

при х = 4: ¬((4> 3)  → (4> 4))= ¬((1)  → (0))=¬(0) = 1

ответ. х=4.

основной текст в египте писали чёрной краской ,чтобы выделить начало строки или фразы писали красным .(но выделяли редко -писчий материал был дорогим).