Математическая логика и теория алгоритмов. Для изучающих компьютерные науки

47. Составьте программу на любом алгоритмическом языке (Pascal, С, С+, С++ или другой язык) для выяснения будет ли форма А тавтологией или нет. Программа должна напечатать, является ли форма А тавтологией или нет: а)А = (А &В) v^v^B; 6)А = (А ^В)&(^В^^).