Идею электронных таблиц впервые сформулировал американский учёный австрийского происхождения Рихард Маттезих (нем. Richard Mattesich), опубликовав в 1961 г. исследование под названием «Budgeting Models and System Simulation»[3]. Концепцию дополнили в 1970 г. Пардо (англ. Rene Pardo) и Ландау (англ. Remy Landau), подавшие заявку на соответствующий патент (U.S. Patent 4 398 249). Патентное ведомство отклонило заявку, но авторы через суд добились отмены этого решения.
Общепризнанным родоначальником электронных таблиц как отдельного класса ПО является Дэн Бриклин, который совместно с Бобом Фрэнкстоном разработал программу VisiCalc в 1979 г. Эта электронная таблица для компьютера Apple II стала очень популярной, превратив персональный компьютер из игрушки для технофилов в массовый инструмент для бизнеса.
Впоследствии на рынке появились многочисленные продукты этого класса — SuperCalc, Microsoft MultiPlan, Quattro Pro, Lotus 1-2-3, Microsoft Excel, OpenOffice.org Calc, таблицы AppleWorks и gnumeric, минималистический Spread32.
A | B | A->B
0 | 0 | 1
0 | 1 | 1
1 | 0 | 0
1 | 1 | 1
Таблица истинности для эквивалентности выглядит так:
A | B | A->B
0 | 0 | 1
0 | 1 | 0
1 | 0 | 0
1 | 1 | 1
Теперь составляем нужную нам таблицу истинности.
A = 216 = 128 + 64 + 16 + 8 = 11011000
B = 30 = 16 + 8 + 4 + 2 = 00011110
C = 170 = 128 + 32 + 8 + 2 = 10101010
A | B | C | ~(A->B) | ~(C->A) | B<->~(C->A) | f
1 | 0 | 1 | 1 | 0 | 1 | 1
1 | 0 | 0 | 1 | 0 | 1 | 1
0 | 0 | 1 | 0 | 1 | 0 | 0
1 | 1 | 0 | 0 | 0 | 0 | 0
1 | 1 | 1 | 0 | 0 | 0 | 0
0 | 1 | 0 | 0 | 0 | 0 | 0
0 | 1 | 1 | 0 | 1 | 1 | 0
0 | 0 | 0 | 0 | 0 | 1 | 0
f = 11000000(2) = 128 + 64 = 192