#include "stdio.h"
//Указатель на файл
FILE * pFile;
//Размер файла
int size;
//Буффер
char buffer[160];
//Число считанных байт
size_t result;
if(pFile)
{
//Получаем размер файла
fseek (pFile, 0, SEEK_END); // non-portable
size=ftell (pFile);
//Читаем первые 80 символов
fseek (pFile, 0, SEEK_SET); // non-portable
result = fread (buffer,1,80,pFile);
//Читаем вторые 80 символов
fseek (pFile, (size-80), SEEK_SET); // non-portable
result = fread (&buffer[80],1,80,pFile);
//Выводим результат
printf ("String",buffer,80);
fclose ( pFile);
}
⁻B∧(AvB)
A B ⁻B AvB ⁻B∧(AvB)
0 0 1 0 0
0 1 0 1 0
1 0 1 1 1
1 1 0 0 0
Объяснение:
& - умножение = конъюнкция.
1 - сложение = дизъюнкция.
По картинке смотришь с конца.
В конце умножение, сразу ставим знак:
∧
Дальше смотрим по верхней линии от & идёт ⁻B, дополняем:
⁻B∧
По другой линии от & идёт к сумме B и A:
⁻B∧(AvB)
Таблица истинности составляется так:
- Сначала выписываешь одиночные элементы - это А и В. Их значение нужно запомнить. У А - это половина 0, половина 1, а у В это повторяющееся 01 при 4 строках и повторяющееся 011 при 6 строках.
Имеем:
A B
0 0
0 1
1 0
1 1
- Затем добавляем отрицание В. Оно меняет значение на противоположное. Имеем:
A B ⁻B
0 0 1
0 1 0
1 0 1
1 1 0
- Потом добавляем дизъюнкцию, так как она в скобках. Дизъюнкция = Или. Следовательно, чтобы получилось 1, то один из элементов должен быть 1. Имеем:
A B ⁻B AvB
0 0 1 0
0 1 0 1
1 0 1 1
1 1 0 0
- И в конце конъюнкция = И. То есть чтобы получилось 1, все элементы должны быть 1. Имеем:
A B ⁻B AvB ⁻B∧(AvB)
0 0 1 0 0
0 1 0 1 0
1 0 1 1 1
1 1 0 0 0
