Так как субъект моделирования – сборщик налогов, а объектом моделирования является земельный участок, то целью моделирования для субъекта будет определение суммы взимаемого налога с площади участка. Среди свойств объекта, таких как место расположения земельного участка; перечень растений, произрастающих на нем; качество почвы земельного участка; форма участка, его размеры, стоимость одного квадратного метра земли, наличие дома и др. выделим существенные с точки зрения поставленной цели. Такими свойствами будут форма участка (прямоугольник), его размеры – длина (a) и ширина (b) и стоимость одного квадратного метра земли (p). Наиболее удобной формой представления выделенных свойств является формула. Следовательно, модель, соответствующая поставленной цели – S = a⋅b⋅p. Занесем данные в таблицу. Получим
Проанализируем условие. Обозначим через n – число переменных, входящих в логическое выражение. Поскольку логическое выражение содержит три переменные, то сложное высказывание состоит из 3 простых, то есть n = 3. Тогда число строк в таблице истинности равно 2n = 23 = 8, плюс 2 строки для заголовка, т.е. всего 2n + 2 = 23 + 2 = 10 строк.
Число столбцов в таблице равно сумме числа переменных (n) и числа всех логических операций (k), входящих в высказывание. Имеем три переменные (A,B,C), то есть n = 3 и 4 логические операции (2 дизъюнкции, конъюнкция и отрицание), то есть k = 4. Поэтому в таблице истинности будет 7 столбцов
(n + k = 3 + 4 = 7).
Пронумеруем столбцы и заполним вторую строку заголовка в соответствии с порядком выполнения логических операций в логическом выражении – формуле сложного высказывания. Заполним первые 3 столбца значениями 0 и 1, перебирая все возможные значения простых переменных:
В столбце А чередуем 4 нуля и 4 единицы (2n / 21 = 8 : 2 = 4).
В столбце В чередуем 2 нуля и 2 единицы (2n / 22 = 4 : 2 = 2).
В столбце С чередуем 1 ноль и 1 единицу (2n / 2n = 2 : 2 = 1).
Таким образом, все возможные варианты учтены и никакие два не совпадают. Заполним таблицу истинности в соответствии с определениями логических операций. Получим