Млита

  • 11 дек. 2013 г.
  • 1378 Слова
МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ

ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ
ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ
ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ
«ВОРОНЕЖСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ»

Факультет информационных технологий и компьютерной безопасности
(факультет)

Кафедра Систем автоматизированного проектирования и информационных систем

ОТЧЕТ ПОЛАБОРАТОРНОЙ РАБОТЕ № 2

по дисциплине Математическая логика и теория алгоритмов
Тема Формулы логики высказываний








Разработали студенты группы АП-111 И.А.Баутин
Подпись, дата Инициалы, фамилияП.О. Шатов
Подпись, дата Инициалы, фамилия




Руководитель Ю.В. Литвиненко
Подпись, дата Инициалы, фамилия



Защищена ___________________ Оценка _____________________________дата

2013

Лабораторная работа № 2
«Формулы логики высказываний»

1 Цель работы: ознакомиться с законами логики высказываний и научиться составлять таблицы истинности.

2 Задание на лабораторную работу: разработать программу, которая будет выводить конечное выражение в таблицу истинности с помощью законов логики высказываний.

3 Скриншот разработаннойпрограммы

Рисунок 1 – «Результат выполненной программы»
4 Вывод
В ходе лабораторной работы мы ознакомились с теоретическим материалом и разработали наглядную программу, которая вычисляет значения логических операций с помощью законов логики высказываний.

Приложение А
import java.awt.LayoutManager;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
importjava.nio.charset.Charset;
import java.util.ArrayList;
import java.util.HashMap;
import java.util.Map;

import javax.swing.JButton;
import javax.swing.JCheckBox;
import javax.swing.JDialog;
import javax.swing.JFrame;
import javax.swing.JLabel;
import javax.swing.JOptionPane;
import javax.swing.JScrollPane;
import javax.swing.JTable;
import javax.swing.JTextField;
import javax.swing.JTextPane;
importjavax.swing.ScrollPaneConstants;

public class MainFrame extends JFrame {
JTextPane outputText;
JTextField fField;
JButton var, kon, dis, imp, ekv, go, clear;
VarEnter varDialog;
int varCount=0;

final static char KON = '∧',
DIS='∨',
IMP='→',
EKV='⇔',
NOT = '¬';
ArrayList<Character> F;
ArrayList<Character> Vars;
Map<Integer, boolean[]> calc;ArrayList<boolean[]> table;



public MainFrame() {
this.setSize(450, 400);
this.setLayout(null);
createUI();
addActionListeners();
this.setDefaultCloseOperation(EXIT_ON_CLOSE);
this.setVisible(true);

F = new ArrayList<Character>();
Vars = new ArrayList<Character>();
calc = new HashMap<Integer, boolean[]>();
}
private voidaddActionListeners() {

kon.addActionListener(new ActionListener() {
@Override
public void actionPerformed(ActionEvent arg0) {
addChar(KON);
}
});
dis.addActionListener(new ActionListener() {
@Override
public void actionPerformed(ActionEvent arg0) {
addChar(DIS);
}
});
imp.addActionListener(new ActionListener() {
@Override
public voidactionPerformed(ActionEvent arg0) {
addChar(IMP);
// F.add(IMP);
}
});
ekv.addActionListener(new ActionListener() {
@Override
public void actionPerformed(ActionEvent arg0) {
addChar(EKV);
// F.add(EKV);
}
});
go.addActionListener(new ActionListener() {
@Override
public void actionPerformed(ActionEvent arg0) {
table= new...
tracking img