-
Notifications
You must be signed in to change notification settings - Fork 0
/
main.cpp
48 lines (43 loc) · 1.02 KB
/
main.cpp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
//compute truth table with following parameters
// !a is negation of a
//a & b is a and b
//a | b is a or b
//a > b is a implies b
//a < b is b implies a
//a = b is a biconditional b
//a ~ b is a xor b
//parentheses work as per normal
//spaces will be ignored
//all letters are propositional variables
//propositional variables can also be called by a[n], where n is an integer and a is any letter
//1 is true (unless in [])
//0 is false (unless in [])
//directives
#include <iostream>
#include <string>
#include <vector>
#include "notmin.h"
#include "thegerk.h"
//namespace declaration
using namespace std;
//operators
#define NOT '!'
#define AND '&'
#define OR '|'
#define IMPLIES '>'
#define IMPLIED_BY '<'
#define BICONDITINAL '='
#define XOR '~'
#define START_PARA '('
#define END_PARA ')'
//constants
#define S_TRUE '1'
#define S_FALSE '0'
#define TRUE_CHARACTER //this will be determined later
#define FALSE_CHARACTER //this will be determined later
//main function
int main()
{
cout << "Hello World!\n";
terminate(0);
}